internal-tooling

How GitHub assigned owners to 14,000 repos in 45 days

GitHub tagged thousands of ownerless repos using custom properties, archived 8,000 of them, and made ownership mandatory across the organization.