Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Include repository name in commit message #99

Open
Kobzol opened this issue May 27, 2024 · 1 comment · Fixed by #166
Open

Include repository name in commit message #99

Kobzol opened this issue May 27, 2024 · 1 comment · Fixed by #166
Labels
good first issue Good for newcomers

Comments

@Kobzol
Copy link
Contributor

Kobzol commented May 27, 2024

Homu issue: rust-lang/homu#185
@MarcoIeni MarcoIeni added the good first issue Good for newcomers label Oct 11, 2024
@github-project-automation github-project-automation bot moved this to Backlog in infra-team Oct 11, 2024
NULLx76 added a commit to NULLx76/scrap that referenced this issue Oct 18, 2024
@NULLx76
testing pr linking: rust-lang/bors#99
11f69c8
@NULLx76 NULLx76 mentioned this issue Oct 18, 2024
Merged
@github-project-automation github-project-automation bot moved this from Backlog to Done in infra-team Oct 18, 2024
@Kobzol
Copy link
Contributor Author

Kobzol commented Oct 19, 2024

In the future, we might need to modify existing tools that expect the Auto merge of #123456 format. So I'll keep this open.

@Kobzol Kobzol reopened this Oct 19, 2024
@github-project-automation github-project-automation bot moved this from Done to Ready in infra-team Oct 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
good first issue Good for newcomers
Projects
infra-team
Status: Ready
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Include repo name in merge commit NULLx76/bors
2 participants
@Kobzol @MarcoIeni