GitHub action to label PRs with "no ticket"

Django Internals
1

Hello :wave:

I have a draft PR to label PRs with “no ticket” when their PR title means they are not “linked” on Trac to a ticket. This logic should align with code.djangoproject.com/trac-env/htdocs/tickethacks.js at 72f85efc886e5c5ddfceb1b4a3793af247873c02 · django/code.djangoproject.com · GitHub

This aims to help with the following:

  • when a PR has a ticket, but is titled incorrectly, this should be hinted to the PR author as they will get a “no ticket” label
  • when a PR does not have a ticket, we have a way to filter for these. This can be like a “minor review” queue. Hoping this might mean less tickets are created for very minor changes just to “encourage” a review

This is the draft PR: Added GitHub action to label pull requests without a ticket in title. by sarahboyce · Pull Request #18997 · django/django · GitHub

I would like to trial this. I am very willing to remove the GH action and labels if this hasn’t added any value (in say, 8 months).
Please let me know if you’re against or in favor of this change :+1:

6 Likes
2

Sounds like a worthwhile experiment to me! If it works well, we can investigate whether there are other GitHub labels worth automating.

3

Smart idea! Having a minor review queue without additional maintenance sounds like a win.

4

If it would help you and @nessita go ahead, of course! :100:

5

Logic in the action looks straightforward and complete :rocket:

6

Sounds good to me, left a suggestion on the PR to use actions/github-script instead.

7

The reception has so far been positive, and so I will convert the PR from a draft to receive reviews :+1:

1 Like