How does that work on the command line? Does it reject your push? Or is this only for people editing on the github website?