Shouldn't be too big a problem for the users? Could still push local repo back to master/origin.