Use Git instead of wget for GitHub library