update-vanilla.sh: Add --no-push option
authorMichal Marek <mmarek@suse.cz>
Tue, 22 Feb 2011 10:31:06 +0000 (11:31 +0100)
committerMichal Marek <mmarek@suse.cz>
Tue, 22 Feb 2011 10:31:06 +0000 (11:31 +0100)
commitda6060c2a82b4b0fe6798a4eeabe7bb6a5bcf020
tree4820639af0f1b2e8a2ef810eb9b70b38b0517de8
parent552469f23e1d1160988722ff0b574d9cf5a39589
update-vanilla.sh: Add --no-push option
bin/update-vanilla.sh