Provided by: dh-ocaml_1.1.1_all
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 <email@example.com>
Copyright © 2009 Mehdi Dogguy