Re: Remaining TODOs to finish migration from CVS to Git

[Boruch Baum <boruch_baum@xxxxxxx>]

The advice that I gave yesterday (below) is bad, in that there is a much
simpler way. One of the tabs on the repository home page is "settings".
On the left side of that "settings" page is an selection for
"notifications". That option allows a repository administrator to select
up to two email addresses to receive notification of "push events" to
the repository. Simple to use and straightforward, but it will send
emails for *any* action  that github considers a "push event", which might
lead to unwanted clutter on the mailing list (not an issue if the
mailing list is using a modern filter program).

On 2019-01-30 21:59, Boruch Baum wrote:
> On 2019-01-31 11:07, TSUCHIYA Masatoshi wrote:
> > 7) Do you know the method to notify new pull requests on GitHub to
> > emacs-w3m@xxxxxxxxxx?
>
> In principle, yes; however, I don't have personal experience using the
> method. What you are describing is what github calls "webhooks", a
> method of pushing an HTTP POST request in response to a github event. This
> url[1] gives a description of the feature, and does mention that it
> includes a hook for pull-request events. The url has a long list of
> other events that might be of interest to you. A more technical and
> detailed presentation of the github webhook API can be found here[2].
>
> [1] https://developer.github.com/webhooks/
> [2] https://developer.github.com/v3/repos/hooks/

-- 
hkp://keys.gnupg.net
CA45 09B5 5351 7C11 A9D1  7286 0036 9E45 1595 8BC0