[Rock-dev] [rock] #160: autoproj update --local
rock
noreply at opendfki.de
Mon Apr 30 10:29:12 CEST 2012
#160: autoproj update --local
-------------------------+-----------------------------------
Reporter: jama01 | Owner: rock-dev-mailing-list
Type: enhancement | Status: new
Priority: normal | Milestone:
Component: toolchain | Keywords:
-------------------------+-----------------------------------
It would be a nice enhancement if one
could do update without updating from the git remotes.
This option is usefull, as in the normal workflow
one does an autoproj status, which updates the git remotes,
and the does an autoproj update. As the remotes are allready
up to date, the second git remote update isn't needed.
--
Ticket URL: <http://rock.opendfki.de/ticket/160>
rock <http://rock.opendfki.de>
rock: the robot construction kit
More information about the Rock-dev
mailing list