It isn't possible, current setup allows only push notifications to dev@ lists only.
2014-02-19 7:27 GMT+01:00 Lukasz Lenart <[email protected]>: > 2014-02-19 7:23 GMT+01:00 Paul Benedict <[email protected]>: >> Wouldn't it make more sense for github requests to be sent to the commits >> list than dev? > > Hmm.... good point. I will ask Infra if it is possible to send PR to > commit@ and discuss via dev@ > > > Regards > -- > Łukasz > + 48 606 323 122 http://www.lenart.org.pl/ --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
