Scripts: attempt to push to android repo

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

View file

@ -37,14 +37,14 @@ jobs:
cd android
git checkout main
git pull
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 config user.name "Bot"
git config user.email "info@mapcomplete.org"
date > date.txt
git add date.txt
echo "Committing"
git commit -m "Add files for release ${{ github.ref_name }}"
git tag "${{ github.ref_name }}"
git remote -v
git push origin main --verbose --follow-tags
- name: install deps