Michael Hoennig e7558cdbe8 wait for branch with new commit		2024-09-26 13:59:13 +02:00
..
git-pull-and-if-origin-changed-run-tests	wait for branch with new commit	2024-09-26 13:59:13 +02:00