Search for: "Comments on 2019-04-01 A trick with Git merging"