And doing a pull, which is meant to safely pull in unrelated changes, to test some things before committing, especially when it was a very simple change on head

And doing a pull, which is meant to safely pull in unrelated changes, to test some things before committing, especially when it was a very simple change on head, is completely reasonable. I don't think its reasonable. 100% of posters here don't think its reasonable. You just demonstrated why its not reasonable. Yet you say its reasonable. Here's my rule for version control: if an operation can go wrong, it will go wrong.