Skip to content

Conversation

@bncer
Copy link
Contributor

@bncer bncer commented Nov 11, 2025

Closes #455

Github is going to implement this feature on December 8th.

So it should work now and when I run on test repo I got a notification from commit message and an email received:
[bncer/boring-test] Check if notification from @opendatavibe happens (2592771)
Inbox
[email protected] Unsubscribe
00:34 (13 minutes ago)

Copy link
Member

@Kobzol Kobzol left a comment

Choose a reason for hiding this comment

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

Thank you! Left one comment, but otherwise it looks good.

@Kobzol
Copy link
Member

Kobzol commented Nov 12, 2025

Thanks! I'll leave this open until December, if you don't mind, just in case GitHub changes their minds...

@bncer
Copy link
Contributor Author

bncer commented Nov 12, 2025

Sure

@Kobzol Kobzol mentioned this pull request Nov 14, 2025
@Kobzol
Copy link
Member

Kobzol commented Dec 5, 2025

Looks like nothing changed from GitHub's side, let's go ahead with this. Thank you!

@Kobzol Kobzol added this pull request to the merge queue Dec 5, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 5, 2025
@Kobzol Kobzol added this pull request to the merge queue Dec 5, 2025
Merged via the queue into rust-lang:main with commit 64176cb Dec 5, 2025
2 checks passed
@bncer bncer deleted the ping-username-commits branch December 5, 2025 16:37
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.

Remove escaping of GitHub usernames in merge commit messages

2 participants