offline.git offline mirror of common dev tools/resources for those who like to go off the grid for a bit