rosin-project/rosinstall_generator_time_machine

Allow specifying a rosdistro commit in addition to a datetime stamp

Opened this issue · 0 comments

In case a user already knows the rosdistro commit for which he wants to create a cache, it would make little sense to have to figure out the timestamp of that commit to pass it to the time machine.

The script should accept the commit and use it directly.