| commit | e8256d916369996c214b5f28673d32f910996708 | |
| author | Thomas Adam <thomas.adam@smoothwall.net> | |
| Sat, 25 Sep 2021 22:54:54 +0000 (25 23:54 +0100) | ||
| committer | Thomas Adam <thomas.adam@smoothwall.net> | |
| Sat, 25 Sep 2021 22:54:54 +0000 (25 23:54 +0100) | ||
| tree | 9eb1151070fc59f415143be458545cde55edefb5 | treesnapshot (tar.gz zip) |
| parent | c414a013eb17711ab2e1ea447aab4a3a25a09d53 | commitdiff |
Github: add mechanism to autoclose prs
The GitHub repository is read-only and exists so that CI can be run. We
do not want PRs to be issued against the repository, so should someone
do that, the PR is closed with a friendly message pointing them to the
mailing list instead.
The GitHub repository is read-only and exists so that CI can be run. We
do not want PRs to be issued against the repository, so should someone
do that, the PR is closed with a friendly message pointing them to the
mailing list instead.
| .github/workflows/closepr.yml | [new file with mode: 0644] | blob |