Я использую git с большой командой разработчиков, и я хотел бы, чтобы набор псевдонимов был общим для каждого разработчика. Они меняются очень часто, поэтому я бы хотел как-то сохранить их в оригинале. Есть ли способ установить это в git? Я использую Gitosis для сервера Git (не уверен, что это будет иметь значение).