Manage pib

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