Scripts: attempt to push to repo

This commit is contained in:
Pieter Vander Vennet 2025-06-17 02:08:28 +02:00
parent 8e511a2874
commit 405c29ac45

View file

@ -33,6 +33,8 @@ jobs:
- name: Update android repo
run: |
cd android
git checkout main
git pull
git config user.name "Android file update bot"
git config user.email "info@mapcomplete.org"
date > date.txt