Yup it is working now -- had to fix the subscription of the robot.
On Tue, May 5, 2015 at 9:33 AM, aasojj <[email protected]> wrote: > Hi Roman > > I got a notification for this pull request. See below... > > On Mon, May 4, 2015 at 1:42 PM, pivotalbuildguy <[email protected]> wrote: > >> GitHub user pivotalbuildguy opened a pull request: >> >> https://github.com/apache/incubator-geode/pull/1 >> >> Support for creating Maven distribution >> >> - Modified groupId to 'org.apache.geode' >> - Modified distribution name to 'apache-geode' >> - Modified version to include 'incubating' >> - Updated README.md and RUNNING.txt with new directory name >> - Added 'maven-publish' plugin for creating Maven distribution >> >> Create Maven distribution: clean build publish >> Install artifacts to local Maven repo: publishToMavenLocal > > > On Mon, May 4, 2015 at 11:44 PM, Roman Shaposhnik <[email protected]> > wrote: > >> 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. >>
