diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-10-19 11:27:00 +0200 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-10-19 11:27:05 +0200 |
| commit | a705a34a22e7b528c47f0b1486066c8398680e95 (patch) | |
| tree | 151d8df0670ee9038733bad240a80d8e15c03e04 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 5060c0ea6a117717d7dc9b0ac31356e608cfdb26 (diff) | |
ci/github-script/labels: prevent closing purposely-empty PRs
Some PRs are empty on purpose, for example the yearly notification about
the election for voters. We should not close these because the merge
commit is empty - only if there was a change intended, but the merge
commit *becomes* empty, we should act.
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions