Scripts: attempt to push to android repo

This commit is contained in:
Pieter Vander Vennet 2025-06-17 18:05:02 +02:00
parent b27cd15ffc
commit 3ba753669b

View file

@ -37,13 +37,13 @@ jobs:
cd android cd android
git checkout main git checkout main
git pull git pull
git remote set-url origin "https://Bot:${{ secrets.BOT_PASSWORD }}@source.mapcomplete.org/MapComplete/android-wrapper.git"
git config user.name "Bot" git config user.name "Bot"
git config user.email "info@mapcomplete.org" git config user.email "info@mapcomplete.org"
date > date.txt date > date.txt
git add date.txt git add date.txt
git commit -m "Add files for release ${{ github.ref_name }}" git commit -m "Add files for release ${{ github.ref_name }}"
git tag "${{ 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 -v git remote -v
git push origin main --verbose --follow-tags git push origin main --verbose --follow-tags