Michael Stapelberg 42f5a6ce47 travis: skip login+push for pull requests		2016-03-06 18:51:52 +01:00
..
check-formatting.sh	…
check-safe-wrappers.sh	…
check-spelling.pl	…
docker-build-and-push.sh	travis: skip login+push for pull requests	2016-03-06 18:51:52 +01:00
ha.sh	…
run-tests.sh	…