a set of Python scripts helping to maintain larger ROS distribution on github