Closes #1550 - allow force-push for non-HEAD commits and from commit widget#2132
Closes #1550 - allow force-push for non-HEAD commits and from commit widget#2132eamodio merged 2 commits intogitkraken:mainfrom
Conversation
eamodio
left a comment
There was a problem hiding this comment.
@ShafinKhadem Thanks! I've added some comments and requested a couple of minor changes.
|
@eamodio I have addressed the requested changes. Thanks. |
|
Thank you so much for your contribution! |
|
@eamodio Now that non-HEAD commits can be force-pushed, should I add a |
|
@ShafinKhadem Hrm, if I am understanding correctly, you are asking about adding a new "Push to Commit (Force)" command to the right-click of commits? If so, I don't think that it necessary since "Push to Commit" already handles that case. |
|
@eamodio I meant this [Alt] Push (Force) for HEAD commits:
For non-head commits it's not available:
|
Description
Closes #1550. Force-push was also not working for non-HEAD commits in branches view. To fix these, I had to update git API from the VS Code repo as I needed
forceparameter forrepo.push.I was also experiencing 2 exceptions before any of my changes - one for circular reference, another for null pr. I have handled them as well.
Checklist
Fixes $XXX -orCloses #XXX -prefix to auto-close the issue that your PR addresses