Skip to content

Remove deprecated tools#2008

Merged
benjie merged 1 commit into
mainfrom
rm-tools
Jun 19, 2026
Merged

Remove deprecated tools#2008
benjie merged 1 commit into
mainfrom
rm-tools

Conversation

@benjie

@benjie benjie commented Jun 19, 2026

Copy link
Copy Markdown
Member

tools/gen-agenda.js used to generate agendas. We replaced it with wgutils, and left a script in its place to guide people to the new flow. This was a while ago now, everyone should have migrated off of the old script, so it's time to remove both that script and the folder that contains it to tidy up the repo.

@benjie benjie merged commit 1ac6a99 into main Jun 19, 2026
2 checks passed
@benjie benjie deleted the rm-tools branch June 19, 2026 15:41
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