checking that push works after repo name change