* Dannan: don't use proxy anymore.
* Git: use push.default of 'simple'.