grokys
commented
7 years ago Hi @gitblit - yes this is a great idea! We currently display push/pull buttons in the PR view when the PR branch is checked out, but if we detect a force push we could change that to some sort of "update" button. The only problem is that there's the potential of losing commits you've made locally here so we'd have to detect that too and maybe display a warning.
We rebase branch-based pull requests somewhat frequently. It would be super cool if there was an easy way to reset your local branch to the origin branch from the GH plugin. Currently it's a bit of a process to fetch & manually reset from the VS branches view. It's not difficult, but could be simplified with a 1-click operation when such a divergence is detected.