[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Remaining TODOs to finish migration from CVS to Git
Yet another simple method that _anyone_ can use to receive email
notification directly to _their_ _own_ email address is to use github's
"watch" feature. Log in to github, press the "watch" button (with the
eye icon) on the upper right of a repository of interest, and Github
will send email notifications for all of that repository's events to the
email address associated with your github account.
On 2019-01-31 12:24, Boruch Baum wrote:
> 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 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.
> >  https://developer.github.com/webhooks/
> >  https://developer.github.com/v3/repos/hooks/
CA45 09B5 5351 7C11 A9D1 7286 0036 9E45 1595 8BC0