Contributors to Comments on 2019-05-05 A few Magit tips