Compartilhamos um arquivo de build chamado build.sh, que cria um arquivo binário em um caminho específico. Como muitos desenvolvedores alteram o caminho neste arquivo build.sh em seu ambiente local com frequência e esquecem de alterá-lo de volta (queremos manter o caminho de build padrão no arquivo build.sh no branch remoto), um aviso de que um push forçado é necessário para enviar este arquivo para o branch remoto seria ótimo. (às vezes, mas não com frequência, realmente temos que alterar esse arquivo)
.gitignore não é uma opção, pois o arquivo já existe no repositório.
Usamos o bitbucket. Uma solução global seria melhor do que alterar as configurações do git localmente.
Alguma ideia?
Dizer aos desenvolvedores para não usar caminhos individuais certamente ajudaria, mas as pessoas geralmente não seguem isso.