Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add script to list unlabeled PR's since latest release #2047

Open
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

rht
Copy link
Contributor

@rht rht commented Feb 22, 2024

This is an automation of step 1 in #1917 (comment). Step 2-6 shouldn't be automated, because step 5 is manual, and is tied to these steps. In order for step 2-6 to be fully automated, step 7 needs to happen first (which is doable, actually).

@EwoutH given that the file is now CONTRIBUTING.md instead of .rst, you may add the release checklist there.

Copy link

Performance benchmarks:

Model Size Init time [95% CI] Run time [95% CI]
Schelling small 🔵 -0.3% [-0.6%, +0.0%] 🔵 -0.1% [-0.2%, +0.1%]
Schelling large 🔵 +12.4% [-18.7%, +54.5%] 🟢 -6.9% [-9.3%, -4.5%]
WolfSheep small 🔵 -3.4% [-3.8%, -2.9%] 🔵 +0.4% [+0.1%, +0.6%]
WolfSheep large 🔵 -3.7% [-6.1%, -1.3%] 🟢 -7.1% [-9.9%, -4.2%]
BoidFlockers small 🔵 +0.6% [-0.3%, +1.5%] 🔵 +2.7% [+2.2%, +3.3%]
BoidFlockers large 🔵 +1.7% [+0.7%, +2.8%] 🔵 +2.2% [+1.6%, +2.7%]

@rht rht changed the title Add script to list unabeled PR's since latest release Add script to list unlabeled PR's since latest release Feb 22, 2024
@rht
Copy link
Contributor Author

rht commented Feb 22, 2024

@EwoutH
Copy link
Contributor

EwoutH commented Feb 23, 2024

Seeing unlabeled merged PRs is as easy as this, right? Anything since december 2023 should be labeled.

@rht
Copy link
Contributor Author

rht commented Feb 28, 2024

That's true. Is there a way to filter to cut off further the earliest date? But if a bulk of the checklist can be automated, it would be easier to read the info from the command line.

@EwoutH
Copy link
Contributor

EwoutH commented Feb 28, 2024

Yes, see the docs.

@EwoutH
Copy link
Contributor

EwoutH commented Mar 10, 2024

@rht do you mind closing this PR? I think using the GitHub URL is automated enough for now.

@rht
Copy link
Contributor Author

rht commented Mar 12, 2024

As I said on #2047 (comment), once again, if almost everything in the checklist is automated, it is better off to use the CLI script. This PR is a first step in that direction. I usually don't draft the releases, but if you, @jackiekazil , and @tpike3 find the automation to be not worth it, you may close this PR.

@jackiekazil
Copy link
Member

jackiekazil commented Mar 13, 2024

I will do a review before the end of the week early this week (week of March 18). I want to make sure I understand things completely.

@jackiekazil
Copy link
Member

I see the vision, and I think I understand the issue. I am going to repeat it back to make sure I am not misunderstanding.
@rht - you are moving towards trying to automate the release more
@EwoutH - the script that is added seems like a simple thing that can be done in the UI, so why do it through a script?

...
@rht -- what are the other components that would be automated? I am looking for the checklist to create a parent ticket to see the whole vision. What I don't want to do is to merge this and then have it randomly hangout if that makes sense.

@rht
Copy link
Contributor Author

rht commented Mar 26, 2024

The steps are:

  1. (automated) Use the script in this PR to check for unlabeled PRs. Do not allow to proceed until the list is empty.
  2. (automated) Automatically generate a release note with https://docs.github.com/en/rest/releases/releases?apiVersion=2022-11-28#generate-release-notes-content-for-a-release, and auto-append this to HISTORY.md.
  3. (manual) Add highlights to the release
  4. (can be partly scripted) Open a PR that includes the HISTORY.md change and __init__.py version bump. Wait until it is merged.
  5. (automated) Release using https://docs.github.com/en/rest/releases/releases?apiVersion=2022-11-28#create-a-release
  6. (manual) Check on PyPI if the release is there
  7. (automated) Open a PR to append -dev to the next minor release version.

As you may notice, it is much simpler than #1917 (comment), because the generate release note step (without drafting a release) already has an API.

@jackiekazil jackiekazil self-assigned this May 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants