Scripts: attempt to push to android repo

This commit is contained in:
Pieter Vander Vennet 2025-06-17 17:39:49 +02:00
parent 4d4adf081b
commit 8b98b70f4a

View file

@ -29,6 +29,8 @@ jobs:
cat .gitmodules
git submodule init
git submodule update
cd android
git config --global --add safe.directory $(pwd)
- name: Update android repo
run: |