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