dom-safe-pull - Safely pull changes from Git remote

MehdiDogguy <mehdi@debian.org>

       Copyright © 2009 Mehdi Dogguy

dh-ocaml                                          Jul 10, 2009                                 DOM-SAFE-PULL/(1)

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.

       dom-safe-pull - Safely pull changes from Git remote