Ask Your Question

Marc Hanheide's profile - activity

2015-03-05 14:32:44 -0600 received badge  Famous Question (source)
2014-08-14 10:40:33 -0600 received badge  Supporter (source)
2014-08-14 10:07:02 -0600 received badge  Notable Question (source)
2014-08-14 06:25:23 -0600 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 -0600 received badge  Student (source)
2014-08-14 04:46:05 -0600 received badge  Popular Question (source)