what did you mean you couldn’t push to that branch? does github treat branches prefixed with a user name differently?