Tools for managing multiple Git repos (on Windows!)