[Python-Dev] Push notification

[Antoine Pitrou]

On Tue, 7 Sep 2010 10:29:48 +0200
Dirkjan Ochtman <dirkjan at ochtman.nl> wrote:
> > and your URI is
> >
> > ssh://hg@hg.python.org/repos/benchmarks
> >
> > (That may change depending on the final setup, of course.)
> 
> Yes, I think I'd prefer to just get rid of the /repos/ for the URLs
> (which makes http and ssh more similar, for one thing).

Could push notification be added for the benchmarks repo?
I think the python-checkins list would be an appropriate recipient for
the e-mails (the repo has a low activity).

Thanks

Antoine.