Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Improve finding issues without a pull request to work on #581

Open
@nilleb

Description

@nilleb

As a newbie to the CPython repository, it can be quite frustrating to find issues that have not an associated pull request.

Thelinked:pr has a small coverage and requires manual intervention (ie. a "closes" or "fixes" magic keyword in the description). Moreover, the linked:pr will close the associated issue on merge, and sometimes the issue should be kept open (because of retrocompatibility PRs, and others that I can not yet grasp).

The GitHub API exposes another concept (cross references) and these appear in the history of an issue. This is why I first implemented a script to list all the issues and the associated PRs. The output lookslike this. But this is not a scalable solution: the GitHub API could suffer if all the newbies were to use it, and the script needs to be executed often to keep the picture up to date with reality.

Given that the cross-references are essentially events, why don't we add a github workflow that

  • adds ahas-pr label when a PR is created, referencing an issue in its title or in its description
  • adds ahas-pr label when a comment is added to the PR mentioning an issue
  • removes thehas-pr label when the PR is closed without being merged

I have a sample GitHub Actions workflow available on thenilleb/cpython-stub repository

Adiscussion has been opened on Discourse.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions


      [8]ページ先頭

      ©2009-2025 Movatter.jp