Don't think this is going to work for us; you can't rely on the user necessarily having write access to the global Git configuration. We'll need to make some change in GH's sources instead.