diff options
| author | Silvan Mosberger <silvan.mosberger@tweag.io> | 2024-10-10 20:11:56 +0200 |
|---|---|---|
| committer | Silvan Mosberger <silvan.mosberger@tweag.io> | 2024-10-12 03:59:02 +0200 |
| commit | 048f4aa537ec81b23454d61f559e31477e4f7af2 (patch) | |
| tree | 2c857a94e83e2922f69b1cc59f9893f476658f92 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 7f9d2978386dab504c7129359c9c0aa34b44eb6c (diff) | |
ci/get-merge-commit.sh: Exit for non-open PRs
If PRs aren't open (either merged or closed), GitHub never computes
whether the PR is mergeable, so we'd wait forever, which has been
happening:
https://github.com/NixOS/nixpkgs/actions/runs/11279197077/job/31369348101#step:2:59
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions