Michael Hoennig 0675918362 fix branch recognition		2024-09-26 14:17:41 +02:00
..
git-pull-and-if-origin-changed-run-tests	fix branch recognition	2024-09-26 14:17:41 +02:00