dom-safe-pull - Safely pull changes from Git remote
Contents
Copyright
Copyright © 2009 Mehdi Dogguy
dh-ocaml Jul 10, 2009 DOM-SAFE-PULL/(1)
Description
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.
Name
dom-safe-pull - Safely pull changes from Git remote
PNG Icons