Я понимаю что можно сделать отдельный локальный файл настроек и внести его в .gitignore, но это не от меня зависит и нужно как-то выходить из сложившейся ситуации своими силами.
Хочется также послать лучей проклятья тем умникам, которые придумали, что когда кликаешь на видео в ютубе, оно забирает фокус и горячие клавиши в браузере и прокрутка перестают работать.
git push толькает все локальные коммиты на удалённый сервер. Итак, теперь удалённый сервер знает, что есть новый коммит abc123, что в нём есть обновлённый файл и что master теперь указывает на abc123. Поэтому вы видите master с новым коммитом.git reset --hard, простыми словами, выбрасывает любые локальные изменения, т.е. обновляет файлы.post-receive хук.git pull ., если за этим был какой-то смысл?
С другой стороны я могу исключить эти файлы из проекта и любой кто скачает мой проект — сразу попадет на то, что проект не будет работать и будет требовать какие то файлы которые он понятия не имеет где брать.