Hacker News new | ask | show | jobs
by CoryG89 2407 days ago
The set of people who have access to the GitHub project (push privileges) might not be the same as the set of people who have access to said project's website.