`origin` in this context seems rather confusing. Users can have a different name for the github remote.