Skip to content

Conversation

@azeey
Copy link
Member

@azeey azeey commented Jan 2, 2026

Used to automate the creation of #3288. I'm not sure if we should put the scripts in a separate directory or elsewhere entirely.

Generated-By: Gemini 2.5

Generated-By: Gemini 2.5
Signed-off-by: Addisu Z. Taddese <[email protected]>
@azeey azeey requested a review from scpeters as a code owner January 2, 2026 18:15
Signed-off-by: Addisu Z. Taddese <[email protected]>
@scpeters
Copy link
Member

scpeters commented Jan 5, 2026

I used about 10 lines of bash to create the aliases in #3285 (see PR description). Does that seem adequate, or do you prefer the scripts in this PR?

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.

3 participants