Dexter 86e29c98a3 Revert "ci: run on push" ... This reverts commit 14e0c6d973.		2022-06-10 12:17:55 +01:00
..
workflows	Revert "ci: run on push"	2022-06-10 12:17:55 +01:00
PULL_REQUEST_TEMPLATE.md	Add PR template (#389)	2022-05-09 10:43:21 +01:00