Tools for repo maintenance, etc.