У меня есть учетная запись организации через github, и нам недавно пришлось удалить пользователя из организации.
- Пользователь никогда не выдвигал последние изменения, которые они сделали.
- У нас нет доступа к фактической учетной записи github, которую использовал пользователь.
- Однако у нас есть доступ к серверу, на котором они работали.
Проблема в том, что пользователь сделал коммит без push, и попытка сделать push на сервере в прежней рабочей среде не удалась, поскольку у нас нет учетных данных этой учетной записи github.
У меня есть права администратора / права собственности на учетную запись организации, поэтому мне интересно, знает ли кто-нибудь что-нибудь, что я могу сделать с помощью git, чтобы переопределить учетные данные?
К сожалению, буду ли я застревать, выполняя какое-то длинное ручное распознавание всего, чтобы отследить изменения в противном случае и выяснить, в чем заключается обязательство, которое этот человек когда-либо делал, поскольку они сделали много - просто никогда не толкали эти изменения вверх / наружу?