Merge pull request #8 from Pablo2048/development

GA update
This commit is contained in:
2024-10-12 15:21:13 +02:00
committed by GitHub

View File

@@ -1,5 +1,16 @@
#!/bin/bash #!/bin/bash
# Zkontroluj, jestli existuje větev development na vzdáleném repozitáři
if git show-ref --quiet refs/heads/development; then
git checkout development git checkout development
else
git checkout -b development origin/development
fi
git pull origin development git pull origin development
# Proveď merge z main
git merge main git merge main
# Pushni změny do vzdálené development větve
git push origin development git push origin development