Michael Hoennig 51bff646ab fix alias usage in git-pull-and-run-if-origin-changed		2024-09-13 13:15:54 +02:00
..
git-pull-and-if-origin-changed-run-tests	fix alias usage in git-pull-and-run-if-origin-changed	2024-09-13 13:15:54 +02:00