That's true. I think the worst thing about git CLI is it hides the state and forces you to issue another command to query the state, but you could easily forget

That's true. I think the worst thing about git CLI is it hides the state and forces you to issue another command to query the state, but you could easily forget. A lot of people add the thing to the PS1 to show some state, but it's not default. However, I'm still not sure git will actually fuck things up with a pull. I think that's the users later when they go nuclear and delete the repo.