Use a release branch for the github action

This commit is contained in:
Marc Di Luzio 2024-08-10 22:24:35 +01:00
parent b6b26b43a4
commit b9e5a2cdfe
2 changed files with 8 additions and 2 deletions

3
run.sh
View file

@ -4,6 +4,5 @@ set -e
while python matchy.py
do
git fetch
git checkout validated
git pull
done