Must delete branch from remote

This commit is contained in:
XargonWan 2022-10-09 18:38:54 +02:00
parent 5b7e2eb848
commit 0fa1f7d068

View file

@ -41,10 +41,6 @@ jobs:
cd $gits_folder/flathub
# cleaning the branch in case of a second run
git branch -d $relname
git push origin --delete $relname
git checkout -b $relname
git rm -rf *