Search for: "Comments on 2019-07-29 Git commands as separate executable files"