Being a contributor and having commit permissions are technically different things. Dimitri is listed as a contributor on the appropriate wiki page https://www.

Being a contributor and having commit permissions are technically different things. Dimitri is listed as a contributor on the appropriate wiki page https://www.postgresql.org/community/contributors/ https://www.postgresql.org/community/contributors/