You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@geode.apache.org by Roman Shaposhnik <ro...@shaposhnik.org> on 2015/05/05 08:44:25 UTC
Pull request notifications don't seem to be working
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.
Re: Pull request notifications don't seem to be working
Posted by Roman Shaposhnik <ro...@shaposhnik.org>.
Yup it is working now -- had to fix the subscription of the robot.
On Tue, May 5, 2015 at 9:33 AM, aasojj <aa...@gmail.com> wrote:
> Hi Roman
>
> I got a notification for this pull request. See below...
>
> On Mon, May 4, 2015 at 1:42 PM, pivotalbuildguy <gi...@git.apache.org> 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 <ro...@shaposhnik.org>
> 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.
>>
Re: Pull request notifications don't seem to be working
Posted by aasojj <aa...@gmail.com>.
Hi Roman
I got a notification for this pull request. See below...
On Mon, May 4, 2015 at 1:42 PM, pivotalbuildguy <gi...@git.apache.org> 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 <ro...@shaposhnik.org>
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.
>