-
-
Save dsci/1347672 to your computer and use it in GitHub Desktop.
# First, check out the commit you wish to go back to (get sha-1 from git log) | |
git reset --hard 9d3c3a0caa7f7b35ef15adb96fc80fcbb59ac72a | |
# Then do a forced update. | |
git push origin +9d3c3a0caa7f7b35ef15adb96fc80fcbb59ac72a^:develop | |
# Push specific commit | |
git push origin 9d3c3a0caa7f7b35ef15adb96fc80fcbb59ac72a:develop -f |
Thank you!!
thank you sir
Thanks a lot, this saved me from doing a lot of work again
Thanks for the help!
LITERALLY just saved my butt again. I commented in 2019 saying thanks knowing I would need this sometime in the future. Today I needed this again and digged through my email for a link to this post and found it. Thanks again!!
Thank a lot !
Works like a charm~~
Can anyone explain the process step by step for beginners? (a video tutorial would be better)
@mfi2007 :develop is your branch name
helpful
Thanks π―
It was helpful
Thank you. It saved my pull request.
Thanks a lot for this π₯Ί
Thanks, this is super helpful!
this saved my ass
Super helpful for beginners. Thanks
super thank you
When I do the force update an error
ssh: Could not resolve hostname +771a004fba7e893ad31308619231041a4559ebc1^: nodename nor servname provided, or not known
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
iMac:adeptcare_personnel SarahBaker$ git push origin +771a004fba7e893ad31308619231041a4559ebc1^:develop
error: The destination you provided is not a full refname (i.e.,
starting with "refs/"). We tried to guess what you meant by:
- Looking for a ref that matches 'develop' on the remote side.
- Checking if the being pushed ('771a004fba7e893ad31308619231041a4559ebc1^')
is a ref in "refs/{heads,tags}/". If so we add a corresponding
refs/{heads,tags}/ prefix on the remote side.
Neither worked, so we gave up. You must fully qualify the ref.
hint: The part of the refspec is a commit object.
hint: Did you mean to create a new branch by pushing to
hint: '771a004fba7e893ad31308619231041a4559ebc1^:refs/heads/develop'?
error: failed to push some refs to 'https://github.com/sarahg177/adept.git'
Why?
Incredible!
Genius! π
When I do the force update an error
ssh: Could not resolve hostname +771a004fba7e893ad31308619231041a4559ebc1^: nodename nor servname provided, or not known
fatal: Could not read from remote repository.Please make sure you have the correct access rights
and the repository exists.
iMac:adeptcare_personnel SarahBaker$ git push origin +771a004fba7e893ad31308619231041a4559ebc1^:develop
error: The destination you provided is not a full refname (i.e.,
starting with "refs/"). We tried to guess what you meant by:
- Looking for a ref that matches 'develop' on the remote side.
- Checking if the being pushed ('771a004fba7e893ad31308619231041a4559ebc1^')
is a ref in "refs/{heads,tags}/". If so we add a corresponding
refs/{heads,tags}/ prefix on the remote side.Neither worked, so we gave up. You must fully qualify the ref.
hint: The part of the refspec is a commit object.
hint: Did you mean to create a new branch by pushing to
hint: '771a004fba7e893ad31308619231041a4559ebc1^:refs/heads/develop'?
error: failed to push some refs to 'https://github.com/sarahg177/adept.git'Why?
:develop is your branch name
Thanks a lot!!βΊβΊ
Thanks <3
Thank you very much <3
π€
oh my gosh, thank you so much!
π―π―π―π―
How do I delete commit directly on web interface?
amazing, thanks bro
Does that mean I'll have to clone the repo first?