mr.developer.shell (pypi): mr.developer extension to run shell commands on repositories.
Keywords: mr|developer|extension|shell