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