Manage MuSHR

The creator of github.com/prl-mushr/mushr can claim, edit or remove this robot. Sign in with GitHub so Robotheca can check that the repository is yours.