|
Boost : |
Subject: Re: [boost] Is boost.python dead?
From: Damien Buhl (damien.buhl_at_[hidden])
Date: 2015-04-08 12:41:44
On 26/03/2015 16:18, Vladimir Prus wrote:
> On 03/26/2015 05:29 PM, Marcel Raad wrote:
>> Stefan Seefeld <stefan <at> seefeld.name> writes:
>>
>>> (I wonder whether there is a way to configure github to automatically
>>> send notifications for things like pull requests or issue
>>> submissions...)
>>
>> Just press the "Watch" button on the repo's github page to be notified
>> about pull requests, issues, and comments via e-mail and on the github
>> homepage.
>
> For whatever reason that does not work for me. I get notifications about
> comments on pull requests,
> but not about the original pull requests themselves.
>
Perhaps an idea:
We have a github enterprise at work, and this happens when the commiter
mail adress in the git history of the repo isn't linked to the github
account.
Linking it to the github account is possible in the user profile
settings > mail adresses.
But it can be something else. :p
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk