Merged notes/git.html from master branch
Merge commit '84d064ac6210d71f0310b47bd7a36c36ca241573' via git subtree pull --prefix dist origin gh-pages