* Exploration of improving git import * Fix our own git proxy * Clean out file counting for progress, does not seem to work well anyways