Comment by CoryG89

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.