diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-06-13 16:59:36 +0200 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-06-13 17:00:31 +0200 |
| commit | 7ba7720b28cc03d44d5ad1f5931ad4a88e068470 (patch) | |
| tree | afde72164cd539b9ee3f83529c527251a40c5009 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 0f4dd70e9d37dae1736ae9d10d5f78b299e49b2c (diff) | |
workflows: prevent accidental cancelling of other PRs
This can happen when two PRs run at the same time, which come from
different forks, but have the same head branch name.
github.head_ref is suggested by GitHub's docs, but.. that's not really
useful for cases with forks.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions