https://philipnye.github.io/posts/Configuring-Git-user-email,-username/