Skip to content

Conversation

@dcharkes
Copy link
Collaborator

@dcharkes dcharkes commented Jan 2, 2025

@dcharkes dcharkes requested a review from mosuem January 2, 2025 16:40
@github-actions github-actions bot added the type-infra A repository infrastructure change or enhancement label Jan 2, 2025
@dcharkes dcharkes changed the title [infra] Add commit message checker infra: Add commit message checker Jan 2, 2025
@dcharkes dcharkes changed the title infra: Add commit message checker [foobar] Add commit message checker Jan 2, 2025
@dcharkes dcharkes changed the title [foobar] Add commit message checker [infra] Add PR title checker Jan 2, 2025
@dcharkes
Copy link
Collaborator Author

dcharkes commented Jan 2, 2025

@mosuem I think this is roughly what we want. WDYT?

{
"LABEL": {
"name": "The PR title has to contain a package name like \"[ffigen]\", or \"[infra]\".",
"color": "EEEEEE"
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That's quite a strong warning color

@@ -0,0 +1,26 @@
{
"LABEL": {
"name": "The PR title has to contain a package name like \"[ffigen]\", or \"[infra]\".",
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is the label name, and not the description, IIUC. Might want to opt for something shorter.

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe we should just leave the label away completely. There's already a red/green bot checkmark/cross.

"failure": "Failing CI test",
"notice": ""
}
}
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe also add some ignore label to override? ;)

check:
runs-on: ubuntu-latest
steps:
- uses: thehanimo/[email protected]
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@dcharkes dcharkes changed the title [infra] Add PR title checker bla: Add PR title checker Jan 2, 2025
@dcharkes dcharkes removed the pr-title label Jan 2, 2025
@dcharkes dcharkes changed the title bla: Add PR title checker [infra] Add PR title checker Jan 2, 2025
@dcharkes dcharkes changed the title [infra] Add PR title checker infra: Add PR title checker Jan 2, 2025
@dcharkes dcharkes changed the title infra: Add PR title checker [foobar] Add PR title checker Jan 2, 2025
@dcharkes dcharkes changed the title [foobar] Add PR title checker [foobaz] Add PR title checker Jan 2, 2025
@dcharkes dcharkes changed the title [foobaz] Add PR title checker [infra] Add PR title checker Jan 2, 2025
@dcharkes dcharkes merged commit 598c969 into main Jan 2, 2025
7 of 10 checks passed
@dcharkes dcharkes deleted the commit-message-checker branch January 2, 2025 17:33
@dcharkes
Copy link
Collaborator Author

dcharkes commented Jan 2, 2025

Thanks @mosuem! 🙏

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type-infra A repository infrastructure change or enhancement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants