summaryrefslogtreecommitdiff
path: root/.gitattributes
diff options
context:
space:
mode:
authorAdam Spragg <adam@spra.gg>2022-05-23 16:23:50 +0100
committerAdam Spragg <adam@spra.gg>2022-05-24 10:12:33 +0100
commit0ca5825e790fd9ab034dd8ab7511732e1905000c (patch)
tree590fe58a03fd20a9e6fdd804f5489b42f9c4e1c9 /.gitattributes
parent2e368d6bfdfba4efc651b5cfcd37b075deb79e4d (diff)
Abort commits during conflicts if differences exist
If the user is running `git commit` to resolve a conflict, it's dangerous to just save the metadata from the filesystem. It's possible that they just fixed a conflict in the metadata file, but didn't update the on-disk metadata to match. (I know it's possible, because I did this!) Our normal mode of operation, of just saving the metadata during a commit to match whatever's on-disk, would wipe out their careful conflict resolution! (On the other hand, just overwriting the on-disk metadata might not be the best idea either.) But the point of a conflict is that the changes between two different branches *can't* be resolved automatically, and requires manual intervention. Given that situation, asking them to resolve the difference manually seems to be the most obvious option.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions