Allow specifying a rosdistro commit in addition to a datetime stamp
Opened this issue · 0 comments
gavanderhoorn commented
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.