Build scripts and notes for catkin debian build pipeline.
6
stars
15
forks
source link
changing default status update location to be the master repos, this is the one maintainers will care about. We should make another one for users which shows the status of the public repos. #142