Lorenz Meier aaf033044d GH Actions: Only build on push ... This still captures all commits, but does not cover the merged state of the PR. All PRs need to be up-to-date before merging/rebasing, which is better practice anyway.		2019-12-26 10:16:58 +01:00
..
ISSUE_TEMPLATE	Github templates add support question and documentation issue (#10613)	2018-10-01 09:44:19 -04:00
workflows	GH Actions: Only build on push	2019-12-26 10:16:58 +01:00
stale.yml	github: tone stalebot down	2019-10-01 10:35:28 -04:00