Re: GIT move

On Feb 10, 2012, at 5:08 AM, Dave Cramer wrote:

> Hi Vitalii,
>
> This is what the pull request email address for Steven's pull came in
> as Steven Schlansker
> <reply+i-3165615-a9adaf19c31f0ad7919226777365c7fb396d186b-406518(at)reply(dot)github(dot)com>
>
> Unless the list accepts everything at reply.github.com I don't see how
> it can work unless I am missing something ?
>

It's my understanding that anything after the '+' is considered to not be
part of the identity of the email address, but instead used for internal
routing or filtering. So reply+x(at)… should be treated the same as reply+y(at)…

Maybe adding reply(at)reply(dot)github(dot)com is sufficient and it 'just works'?

Alternately, I know at least Mailman supports regular expression matching
for sender filters, and writing a regex to match the above shouldn't be
too hard.

>
> 2012/2/10 Vitalii Tymchyshyn <tivv00(at)gmail(dot)com>:
>> Hello.
>>
>> Yep, I think it should be possible to add this list email as email for
>> pgjdbc github user with https://github.com/account/email
>>
>> Later https://github.com/account/notifications can be used to regulate which
>> emails should be in the list
>>
>> 10.02.12 13:35, Dave Cramer написав(ла):
>>
>>> 2012/2/8 Віталій Тимчишин<tivv00(at)gmail(dot)com>:
>>>>
>>>>
>>>> 2012/2/8 Maciek Sakrejda<msakrejda(at)truviso(dot)com>
>>>>>>
>>>>>> How does a github pull request establish "evidence of intent" ? Please
>>>>>> keep in mind this question is out of ignorance as I am not that
>>>>>> familiar with github.
>>>>>
>>>>> They're pretty nifty: https://github.com/blog/712-pull-requests-2-0 .
>>>>> Although if a record of attribution is a serious concern, having these
>>>>> under github's control is less than ideal. If this is the main
>>>>> concern, perhaps there's a formal way for the project to archive
>>>>> github pull requests (maybe the github API:
>>>>> http://developer.github.com/v3/pulls/ ), but that's extra work and
>>>>> somewhat more nebulous (as evidence) than a straight mailing list
>>>>> archive.
>>>>
>>>>
>>>> That's why I propose for github to send notifications to this list. This
>>>> can
>>>> be simply configurable and will be more or less much like before.
>>>
>>>
>>> OK, I see the first pull request came to my gmail address. What has to
>>> be done to get it to the list ?
>>>
>>> I imagine we need to add the list as a user to the project ? Getting
>>> github as a subscribed user to the list will be more difficult, but
>>> manageable ?
>>>
>>> Can someone elucidate the steps to get pull requests going to the list ?
>>>
>>>
>>> Also it seems that post-receive hooks are designed to push data to a
>>> website as opposed to simply emailing ??? Is there an easy way to get
>>> email notifications ?
>>>
>>> Dave
>>
>>
>
> --
> Sent via pgsql-jdbc mailing list (pgsql-jdbc(at)postgresql(dot)org)
> To make changes to your subscription:
> http://www.postgresql.org/mailpref/pgsql-jdbc