Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #134199 - RalfJung:gitmerge, r=oli-obk
Revert "Stop git from merging generated files" This reverts https://github.com/rust-lang/rust/pull/133851. "-merge" makes git not even do merges if they are entirely conflict-free, which is not the behavior we want. We sometimes have conflict-free merges in generated files and it's much better if git can handle them automatically. r? `@oli-obk` Cc `@jieyouxu` `@Urgau`
bors 2024-12-12
parent 67dcb7a · parent 4c05bc7 · commit e4c8610
0 files changed, 0 insertions, 0 deletions