Le 12/02/2017 à 13:25, Serhiy Storchaka a écrit : > > In contrary, I'm finding the new github PR messages less useful than old > messages. [...] I'm a bit surprised: is there a message on python-checkins for each PR changeset, or only a single one when the PR is squashed+merged? Regards Antoine.