Important GIT Techniques on November 26, 2019 diff2html diff2html cli diff2html-cli git git commit git diff git push git push upstream pretty diff push +