2 Commits

Author	SHA1	Message	Date
Andreas Dangel	872111f2a1	chore: retry git push sync ... During the release it can happen, that two pushes are executed fast one after another. This could lead to gh action jobs overlapping while trying to push to sourceforge leading to errors like "remote: error: cannot lock ref 'refs/heads/master': is at XXX but expected YYY".	2022-06-09 14:59:07 +02:00
Andreas Dangel	2ad755f963	[ci] Add git-repo-sync	2021-04-18 19:50:52 +02:00