PR бывшего коллеги GitHub

Введение

В этой статье вы узнаете о том как найти все PR-ы человека, который больше не работает в вашей компании.

Подразумевается что вы знаете какой у него был github аккаунт.

Обычный поиск PR

Если нужно найти пул реквесты обычного пользователя, это делается фильтром

is:pr author:name-surname_company

Соответствующий url:

https://github.com/company/repo/pulls?page=1&q=is%3Apr+author%3name-surname_company+is%3Aclosed

PR-ы бывшего сотрудника

Если нужно найти пул реквесты бывшего сотрудника предыдущий способ может не сработать.

С целью защиты персональных данных компания может заменить реальное имя аккаунта на набор ничего не значащих символов.

Пример:

83d247e06a2fe11bc8c7082682a412_company

Первым делом советую выполнить поиск имени или фамилии коллеги по всему репозиторию. Если ничего не найдено придётся искать вручную.

Нужно перейти в закрытые PR.

Каким конкретно будет этот набор символом неизвестно, поэтому проверять нужно все подобные. Если ваша компания уволила несколько сотрудников одновременно процесс может занять больше времени.

Нужно пойти по всем PR в обратном направлеии и найти PR от аккаунта с анонимизированным именем.

Уже на этом шаге могут появиться реальные имя и фамилия так как user.name и user.email часто остаются неанонимизированными.

Из страницы с PR можно нажать на анонимизированную ссылку на профиль и изучить информацию там.

Если вы убедились в том, что 83d247e06a2fe11bc8c7082682a412_company это именно тот бывший коллега, его PR-ы можно увидеть следующим способом. Если это не он - переходите к следующему подобному профилю.

is:pr author:83d247e06a2fe11bc8c7082682a412_company

Можно вставить url в браузер

https://github.com/company/repo/pulls?page=1&q=is%3Apr+author%383d247e06a2fe11bc8c7082682a412_company+is%3Aclosed

То же самое в картинках

Перейдите в раздел Pull requests и попробуйте обычный фильтр по аккаунту.

Если результов не найдено - переходите к следующему шагу.

Выберите закрытые PR.

is:pr is:closed.

PR от анонимизированного аккаунта будет выглядеть следующим оригинальным образом

Имя и фамилия могу сохраниться. Если нет - перейдите в аккаунт, там может быть больше информации.

Теперь можно выполнить поиск

is:pr author:83d247e06a2fe11bc8c7082682a412_company

Совет

Если вы знаете, что человек собирается уходить, сохраните ссылку на какой-то из его коммитов. Тогда не нужно будет искать в истории

Автор статьи: Андрей Олегович