diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-05-30 23:00:16 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-09-05 14:08:40 +0200 |
| commit | cc388fbc3a084a1e400c7c65df08b8dc6281056d (patch) | |
| tree | 4f3f4a9f7ee34bcbbed59eaee517222f2f0fc9e8 /mk/functions.mk | |
| parent | 4a8c9bb9aa872d0f20c5aeb62357f832b4f9c0b4 (diff) | |
remove maintainers checklist in PR template
maintainers are not really using it, and it produces a lot of noise when opening PRs.
Diffstat (limited to 'mk/functions.mk')
0 files changed, 0 insertions, 0 deletions