Skip to content

Make bors ignore the PR template so it doesn't end up in merge messages#10267

Merged
bors merged 1 commit intorust-lang:masterfrom
joshtriplett:pr-template-bors-comments
Jan 6, 2022
Merged

Make bors ignore the PR template so it doesn't end up in merge messages#10267
bors merged 1 commit intorust-lang:masterfrom
joshtriplett:pr-template-bors-comments

Commits