[Fred27]

Everyone but the OP understands how git works. Removing the file is exactly what I would expect to happen.

[kazinator]

Are you saying that you could never identify a usability or user experience problem in anything whose mechanisms you understand?