Skip to main content
8 events
when toggle format what by license comment
Dec 4, 2017 at 16:39 comment added Warren P Either don't use it, or learn to use it right. If you force push to an important central repository shared by a team, you should lose all push access to all important repos. What you do on your own personal repo, to avoid learning the alternative ways out, will eventually affect your ability to work on shared repos. If you know what's happened before the force push, sometimes a force push is ok. If you don't, it's never ok.
Nov 19, 2017 at 15:28 comment added mike rodent This worked for me: personal project with 0 other collaborators. I had tried several other suggested "solutions" here on SO, none of which fixed what was a very simple problem: I had done a local reset --hard to a older commit and then done a couple more. Then I just wanted to push but the remote repo was not prepared to let me. WarrenP could actually help git learners by being less runic. Maybe he doesn't want to.
Oct 3, 2017 at 17:21 comment added Shaurya Uppal $git push --force origin master
Feb 9, 2016 at 20:49 history edited Peter Mortensen CC BY-SA 3.0
Copy edited.
Jul 1, 2015 at 15:44 history edited abatishchev CC BY-SA 3.0
deleted 1 character in body
Jul 29, 2014 at 16:32 review Late answers
Jul 29, 2014 at 16:34
Jul 29, 2014 at 16:21 review First posts
Jul 29, 2014 at 16:23
Jul 29, 2014 at 16:17 history answered Teo CC BY-SA 3.0