diff options
| author | Oleg Iarygin <oleg@arhadthedev.net> | 2022-04-10 22:03:27 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-10 22:03:27 (GMT) |
| commit | 98ff4a68773c49619d486c7e758ebbe1662f8387 (patch) | |
| tree | 3b53b7ea6f2a07289f286f7e8caaa733a06fa0e9 /.github/workflows | |
| parent | 672e7de911e5d189f5d5d2649c0b3bb575778e28 (diff) | |
| download | cpython-98ff4a68773c49619d486c7e758ebbe1662f8387.zip cpython-98ff4a68773c49619d486c7e758ebbe1662f8387.tar.gz cpython-98ff4a68773c49619d486c7e758ebbe1662f8387.tar.bz2 | |
Replace contributor-visible mentions of BPO in .github/* (GH-91426)
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 0ca8d39..c34706b 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,6 +1,6 @@ name: Tests -# bpo-40548: "paths-ignore" is not used to skip documentation-only PRs, because +# gh-84728: "paths-ignore" is not used to skip documentation-only PRs, because # it prevents to mark a job as mandatory. A PR cannot be merged if a job is # mandatory but not scheduled because of "paths-ignore". on: |