Frank Morgner 01678e871e CI: retry pushing 10 times to nightly		2019-10-18 14:31:09 +02:00
..
ISSUE_TEMPLATE.md	use a better issue template	2017-07-18 22:32:10 +02:00
PULL_REQUEST_TEMPLATE.md	Slightly adjust pull request template	2018-04-24 12:31:48 +02:00
push_artifacts.sh	CI: retry pushing 10 times to nightly	2019-10-18 14:31:09 +02:00