Scripts: attempt to push to repo

This commit is contained in:
Pieter Vander Vennet 2025-06-17 01:02:24 +02:00
parent 79bc1be6ef
commit e6db77e482

View file

@ -35,7 +35,8 @@ jobs:
cd android
git config user.name "Android file update bot"
git config user.email "info@mapcomplete.org"
git add *
date > date.txt
git add date.txt
git commit -m "Add files for release ${{ github.ref_name }}"
git tag "${{ github.ref_name }}"
git push --tags