GitHub PR Помощь.Как добавить пользователя? - PullRequest
0 голосов
/ 25 февраля 2019

У меня есть PR, который был отправлен, и я просил внести небольшие обновления / изменения.Пользователь переключил профили GitHub в то время, когда PR был открыт ко времени, когда я просматривал PR.Теперь он хочет иметь возможность представить изменения в PR в качестве своего нового имени пользователя.Есть ли способ дать новому пользователю право на запись в PR?

Вот ссылка на PR для справки.

...