On Sun, 12 Feb 2017 at 04:26 Serhiy Storchaka
wrote:
> неділя, 12 лютого 2017 р. 11:46:08 EET Paul Moore написано:
> > ... and just a further note that I'm finding the new github PR
> > messages much easier to follow than the old python-checkins traffic.
> > That's probably nothing more than pers
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
Antoi
Related to this: is there a way to unsubcribe from the codecov
notifications ?
Those seem to originate directly from github (rather than being
sent via the checkins list) and so far I've only found the
option to unfollow the entire repo, which is not what I want.
I've installed a filter now, so i
On Sun, Feb 12, 2017 at 3:25 PM, Serhiy Storchaka
wrote:
> неділя, 12 лютого 2017 р. 11:46:08 EET Paul Moore написано:
>> ... and just a further note that I'm finding the new github PR
>> messages much easier to follow than the old python-checkins traffic.
>> That's probably nothing more than pers
