1. 2022-07-30 Re: [PATCH v2 5/9] notes docs: de-duplicate configura git Matheus Tavares 2. 2022-07-29 [PATCH v2 5/9] notes docs: de-duplicate configuration git Ævar Arnfjörð B