Comment Comment by yesbabyyes Wait, you mean that in `git push -f`, the `-f` is not the Friday flag? parent yesbabyyes 8 years ago