| DOM-SAFE-PULL | User Commands | DOM-SAFE-PULL |
dom-safe-pull - Safely pull changes from Git remote
dom-safe-pull looks for tracked branches and fetches changes from remote. For each branch, if the changes are fast-forward then it will merge the local branch with the corresponding remote branch.
Mehdi Dogguy <mehdi@debian.org>
Copyright © 2009 Mehdi Dogguy
| July 10, 2009 | dh-ocaml |