mirror of
https://git.hardenedbsd.org/hardenedbsd/HardenedBSD.git
synced 2024-11-24 01:07:21 +01:00
e5b33e6eef
We don't need to run this on branch pushes, just pull requests. It's designed to be a gross filter for incoming commits, not something perfect we need to keep green. It also doesn't work quite right for branch pushes anyway and needs adjustment. Also remove some debugging information. We don't need it anymore. Noticed by: jrtc27 Sponsored by: Netflix |
||
---|---|---|
.. | ||
PULL_REQUEST_TEMPLATE | ||
workflows | ||
CODEOWNERS |