Contributors to 2019-05-05 A few Magit tips