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.

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

Use different email address for commits in different repos #200

Open
RalfJung opened this issue Jan 4, 2024 · 0 comments
Open

Use different email address for commits in different repos #200

RalfJung opened this issue Jan 4, 2024 · 0 comments

Comments

@RalfJung
Copy link
Member

RalfJung commented Jan 4, 2024

With tools using subtree/josh-based syncing, we now regularly have commits form one repo be moved to another. This makes it impossible to tell if a given bors commit e.g. in the main rust repo was actually created by the bors of that repo, or if it's some bors commit ported over from a different repo. That then leads to problems like rust-lang/rust#101907 where the various heuristics bootstrap has, which are based on identifying bors commits, all fall apart.

So we need some way to make bors use a different email address for different repos, so that we can tell these commits apart.

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

No branches or pull requests

1 participant