https://pantsbuild.org/ logo
b

billowy-beach-68498

12/08/2016, 6:59 PM
yeah, I used git push --force, which should be same as git push -f