Search results

Should we use committer date instead of author date?

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#16 In rosin-project/rosinstall_generator_time_machine;

· gavanderhoorn opened on Aug 24, 2020

Persistent "Can't find Docker image .." error even though it exists

bugSomething isn't workingSomething isn't working

Status: Open.

#13 In rosin-project/rosinstall_generator_time_machine;

· gavanderhoorn opened on Jan 3, 2019

docker build: permission denied on systems where docker group is not used

bugSomething isn't workingSomething isn't working

Status: Open.

#12 In rosin-project/rosinstall_generator_time_machine;

· gavanderhoorn opened on Jan 3, 2019

Investigate using source repositories instead of release repositories

enhancementNew feature or requestNew feature or request

Status: Open.

#11 In rosin-project/rosinstall_generator_time_machine;

· gavanderhoorn opened on Jan 3, 2019

closest cache dir sometimes crosses REP-141 boundary

pre2014

Status: Open.

#10 In rosin-project/rosinstall_generator_time_machine;

· gavanderhoorn opened on Nov 12, 2018

Allow specifying a rosdistro commit in addition to a datetime stamp

enhancementNew feature or requestNew feature or request

Status: Open.

#9 In rosin-project/rosinstall_generator_time_machine;

· gavanderhoorn opened on Nov 12, 2018

Consider fetching manifests for direct dependencies only

enhancementNew feature or requestNew feature or request

Status: Open.

#6 In rosin-project/rosinstall_generator_time_machine;

· gavanderhoorn opened on Jul 24, 2018

Add/check support for older rosdistro versions

enhancementNew feature or requestNew feature or request

Status: Open.

#1 In rosin-project/rosinstall_generator_time_machine;

· gavanderhoorn opened on May 18, 2018