Marc Hanheide's profile - activity

2015-03-05 14:32:44 -0500	received badge	● Famous Question (source)
2014-08-14 10:40:33 -0500	received badge	● Supporter (source)
2014-08-14 10:07:02 -0500	received badge	● Notable Question (source)
2014-08-14 06:25:23 -0500	commented answer	[jenkins_scripts] How to resolve source dependencies in our own ROS-Jenkins? right... But the `devel` script ( https://github.com/ros-infrastructure... ) currently only supports one repository, right? Shall I change it so it supports a full `repo_list` and submit a PR? Also, is there a way to easily resolve package names to repo names?
2014-08-14 04:46:23 -0500	received badge	● Student (source)
2014-08-14 04:46:05 -0500	received badge	● Popular Question (source)