scripts/merge-scripts-branch: add option --pull
authorMichal Marek <mmarek@suse.cz>
Mon, 8 Jun 2009 13:38:00 +0000 (15:38 +0200)
committerMichal Marek <mmarek@suse.cz>
Mon, 8 Jun 2009 14:33:49 +0000 (16:33 +0200)
commitb6b9ebf068d63f5d162529cbc77f6bbba127d48e
tree5ab686080420ff9089f7a6cbe1b43d51487bdd1a
parentfd1cc827e6561fb38fb62aad28e17b71a34958f7
scripts/merge-scripts-branch: add option --pull

With --pull, the script will call git pull before merging the scripts
branch.
scripts/merge-scripts-branch