Merge pull request #5 from Pablo2048/development

Manual script to sync
This commit is contained in:
2024-10-11 15:41:02 +02:00
committed by GitHub

5
update_dev.sh Normal file
View File

@@ -0,0 +1,5 @@
#!/bin/bash
git checkout development
git pull origin development
git merge main
git push origin development