Provided by: dh-ocaml_1.0.8_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 <firstname.lastname@example.org>
Copyright © 2009 Mehdi Dogguy