Leveraging GitHub's No-Reply email mechanism to protect your privacy when committing with Git