Scripts: attempt to push to android repo

This commit is contained in:
Pieter Vander Vennet 2025-06-17 18:01:46 +02:00
parent 406a69e80e
commit b27cd15ffc

View file

@ -34,17 +34,16 @@ jobs:
- name: Update android repo
run: |
ls
cd android
git checkout main
git pull
git config user.name "Android file update bot"
git config user.name "Bot"
git config user.email "info@mapcomplete.org"
date > date.txt
git add date.txt
git commit -m "Add files for release ${{ github.ref_name }}"
git tag "${{ github.ref_name }}"
git remote set-url origin https://Bot:${{ secrets.BOT_PASSWORD }}@source.mapcomplete.org/MapComplete/android-wrapper.git
git remote set-url origin "https://Bot:${{ secrets.BOT_PASSWORD }}@source.mapcomplete.org/MapComplete/android-wrapper.git"
git remote -v
git push origin main --verbose --follow-tags