New: centralised support for syncing with origin
New: shared helpers for merges, pushes and pulls
Fix: refactored code, standardised sanity checks, dropped unused commands
Fix: now uses common code for updates
New: generic pull command
New: generic push command
New: list new commands, drop never-implemented command from usage output
Fix syntax errors
Fix: git hf push only needs to merge the current branch before pushing
Fix: use current branch name when deciding how to push
New: do not checkout a branch if there is nothing to merge into it - significant speed improvement
Fix: do not push to origin after a merge when there is nothing to push
Fix: clearer summary of actions for git hf update command
New: git hf update --no-prune to disable auto-pruning of dead branches
New: do not push current branch if origin is already up-to-date
Fixes for the new git hf pull command
Fix the summary actions for git hf push
Another fix for the summary actions for git hf push
Fix: clearer message when attempting to finish a feature that has not been merged via a pull request
Fix: avoid extra pull when merging from remote branch