Very responsive indeed, I already got an answer:
> Sorry for the trouble - to receive notifications for an organization
repository, each user could be added to
> an Admin or Push team for the biocaml/biocaml repository. Owners don't get notifications for
organization
> repositories by default [1].
> ...
> [1]
https://help.github.com/articles/what-are-the-different-access-permissions, and in particular:
Here is the relevant paragraph on the page:
Good to know: Owners do not receive notifications for
the organization's repositories by default. To receive notifications,
create an Admin or Push team and add the owners and repositories for
which notifications are desired.
I don't think I have the permissions to do that. Could you have a try when you have some time?
Cheers,
Philippe.