Re: GIT move

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@gmail.com>:
>>
>> 2012/2/8 Maciek Sakrejda<msakrejda@truviso.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