Pull request notifications don't seem to be working

[Roman Shaposhnik]

Hi!

I see this (thanks, btw!)
    https://github.com/apache/incubator-geode/pull/1
but I don't think I've seen notifications on our
dev mailing lists. Let me see why it didn't go
through the normal Github integration workflow...

Thanks,
Roman.