# Repotool

A tool for managing many git repositories