Skip to content

Changelog script#53

Merged
elegios merged 2 commits into
masterfrom
changelog-script
Jul 1, 2026
Merged

Changelog script#53
elegios merged 2 commits into
masterfrom
changelog-script

Conversation

@elegios

@elegios elegios commented Jun 9, 2026

Copy link
Copy Markdown
Member

I realized we could semi-automatically pull changelog information from PRs in each repo, or at least check that they've been considered for inclusion in the changelog. This PR adds a script that:

  1. Clones and/or updates all relevant repos
  2. Finds all PRs merged since a given date in each
  3. Finds which of those PRs have not been mentioned in the changelog
  4. Prints them with nice formatting that includes a link to the PR itself

This means that I can just go through them in order and make sure all of them have been mentioned properly after merging PRs.

It also contains a list of PRs that are to be ignored, typically because it's not actually relevant to TreePPL itself, which are not printed in step 4 above.

In the future I imagine that PRs in treeppl, treeppl-python, and treepplr should contain their own changelog items, and that this script could extract them automatically. miking and miking-dppl PRs should probably not have such things, since they're distinct projects, so they'd have to be examined manually.

@elegios elegios force-pushed the changelog-script branch from aa445b4 to b9eeffa Compare June 30, 2026 19:33
@elegios elegios force-pushed the changelog-script branch from b9eeffa to cb6da3c Compare July 1, 2026 10:30
@elegios elegios merged commit 075b430 into master Jul 1, 2026
1 check failed
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.

1 participant