Implement a few changes with .git configuration, in line with Github policy.