strands-project/github_manager

ros_gh_mgr

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