Query: dom-safe-pull
OS: debian
Section: 1
Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar
DOM-SAFE-PULL User Commands DOM-SAFE-PULLNAMEdom-safe-pull - Safely pull changes from Git remoteDESCRIPTIONdom-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.AUTHORMehdi Dogguy <mehdi@debian.org>COPYRIGHTCopyright (C) 2009 Mehdi Dogguy dh-ocaml Jul 10, 2009 DOM-SAFE-PULL