1. 2020-03-31 Re: [PATCH 0/5] ci: replace our Azure Pipeline by Git git Junio C Hamano 2. 2020-03-31 Re: [PATCH 0/5] ci: replace our Azure Pipeline by Git git Danh Doan 3. 2020-03-31 [PATCH 0/5] ci: replace our Azure Pipeline by GitHub git Johannes Schindeli