Re: Monitoring a repository for changes

2017-06-21 Thread Eric Wong
Eric Wong wrote: > And, yes, email does seem redundant, and > modern header sizes (with DKIM, etc) are gigantic; but > connection lifetime and concurrency is manageable to the server > even if not instantaneous. I should add that any email notification message should be significantly shorter than

Re: Monitoring a repository for changes

2017-06-21 Thread Eric Wong
Ævar Arnfjörð Bjarmason wrote: > On Wed, Jun 21 2017, Eric Wong jotted: > > I've long wanted to do something better to allow others to keep > > public-inbox mirrors up-to-date. Having only 64-128 bytes of > > overhead per userspace per-connection should be totally doable > > based on my experienc

Re: Monitoring a repository for changes

2017-06-21 Thread Ævar Arnfjörð Bjarmason
On Wed, Jun 21 2017, Eric Wong jotted: > Ævar Arnfjörð Bjarmason wrote: >> On Wed, Jun 21 2017, Tim Hutt jotted: >> >> > Hi, >> > >> > Currently if you want to monitor a repository for changes there are >> > three options: >> > >> > * Polling - run a script to check for updates every 60 seconds.

Re: Monitoring a repository for changes

2017-06-21 Thread Jonathan Nieder
Hi, Tim Hutt wrote: > Currently if you want to monitor a repository for changes there are > three options: > > * Polling - run a script to check for updates every 60 seconds. > * Server side hooks > * Web hooks (on Github, Bitbucket etc.) > > Unfortunately for many (most?) cases server-side hooks

Re: Monitoring a repository for changes

2017-06-21 Thread Stefan Beller
On Wed, Jun 21, 2017 at 12:44 PM, Jeff King wrote: > > Yeah. The naive way to implement this would be to have the client > connect and receive the ref advertisement. And then when it's a noop > (nothing to fetch), instead of saying "I want these objects", say > "Please pause until one or more refs

Re: Monitoring a repository for changes

2017-06-21 Thread Eric Wong
Ævar Arnfjörð Bjarmason wrote: > On Wed, Jun 21 2017, Tim Hutt jotted: > > > Hi, > > > > Currently if you want to monitor a repository for changes there are > > three options: > > > > * Polling - run a script to check for updates every 60 seconds. > > * Server side hooks > > * Web hooks (on Githu

Re: Monitoring a repository for changes

2017-06-21 Thread Jeff King
On Wed, Jun 21, 2017 at 05:04:12PM +0200, Ævar Arnfjörð Bjarmason wrote: > > In terms of implementation, the HTTP transport could use Server-Sent > > Events, and the SSH transport can pretty much do whatever so that > > should be easy. > > In case you didn't know, any of the non-trivially sized g

Re: Monitoring a repository for changes

2017-06-21 Thread Ævar Arnfjörð Bjarmason
On Wed, Jun 21 2017, Tim Hutt jotted: > Hi, > > Currently if you want to monitor a repository for changes there are > three options: > > * Polling - run a script to check for updates every 60 seconds. > * Server side hooks > * Web hooks (on Github, Bitbucket etc.) > > Unfortunately for many (most

Monitoring a repository for changes

2017-06-21 Thread Tim Hutt
Hi, Currently if you want to monitor a repository for changes there are three options: * Polling - run a script to check for updates every 60 seconds. * Server side hooks * Web hooks (on Github, Bitbucket etc.) Unfortunately for many (most?) cases server-side hooks and web hooks are not suitable