1. 2022-07-31 Re: [PATCH v3 3/5] git.txt: remove redundant language git Jeff King 2. 2022-07-19 [PATCH v3 3/5] git.txt: remove redundant language git Derrick Stolee via