diff options
| author | Nikhita Raghunath <nikitaraghunath@gmail.com> | 2019-09-27 13:02:27 +0530 |
|---|---|---|
| committer | Nikhita Raghunath <nikitaraghunath@gmail.com> | 2019-10-05 09:33:54 +0530 |
| commit | a0055b50634bab7f53b5ff2cb905e5325ed66b3a (patch) | |
| tree | 8f1c1cb472b34f9f5bcffeddbc21a6e90ebcc27b /github-management | |
| parent | 395d34e5c841d0e8b4e4bc79c3e32c3498adb25a (diff) | |
generator: don't specify company for emeritus_leads
If we end up specifying the company for emeritus leads, we could end
up stale information. Moreover, we don't gain any specific value
from company info of emeritus leads.
Diffstat (limited to 'github-management')
0 files changed, 0 insertions, 0 deletions