mergebot commit message tracking #11433

Closed

Assignees

opened

on May 24, 2022

remove cc lines and @ messages so people don't get tagged in commits
add source PR number to commit subject

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

Metadata

Assignees

driazati

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests