Re: Suckless monitoring [was Re: [dev] git://git.suckless.org not accepting connections]

2017-07-04 Thread Anselm R Garbe
Hi Kamil, On 4 July 2017 at 14:32, Kamil Cholewiński wrote: > On Tue, 04 Jul 2017, Anselm R Garbe wrote: >> I've used my own for almost a decade: http://monitor.garbe.us/ >> It checkes the services every 20 minutes and sends me a mail if some >> service goes offline. > > Care to share the code?

Re: Suckless monitoring [was Re: [dev] git://git.suckless.org not accepting connections]

2017-07-04 Thread hiro
without machine learning and genetic algorithms i fear i might get woken up in the middle of the night.

Re: Suckless monitoring [was Re: [dev] git://git.suckless.org not accepting connections]

2017-07-04 Thread Kamil Cholewiński
On Tue, 04 Jul 2017, Anselm R Garbe wrote: > I've used my own for almost a decade: http://monitor.garbe.us/ > It checkes the services every 20 minutes and sends me a mail if some > service goes offline. Care to share the code?

Re: Suckless monitoring [was Re: [dev] git://git.suckless.org not accepting connections]

2017-07-04 Thread Anselm R Garbe
Hi, On 4 July 2017 at 11:31, Kamil Cholewiński wrote: > On Tue, 04 Jul 2017, Anselm R Garbe wrote: >> On 4 July 2017 at 00:36, Anselm R Garbe wrote: >>> On 4 July 2017 at 00:06, Michael Forney wrote: I noticed that git.suckless.org is no longer accepting connections with the git prot

Re: [dev] git://git.suckless.org not accepting connections

2017-07-04 Thread Laslo Hunhold
On Tue, 4 Jul 2017 11:23:58 +0200 "Ivan J." wrote: Hey Ivan, > How would anonymous pushing to the sites repository keep working? you can push over git:// when push access is enabled. No need for a ssh-login. With best regards Laslo Hunhold -- Laslo Hunhold

Suckless monitoring [was Re: [dev] git://git.suckless.org not accepting connections]

2017-07-04 Thread Kamil Cholewiński
On Tue, 04 Jul 2017, Anselm R Garbe wrote: > On 4 July 2017 at 00:36, Anselm R Garbe wrote: >> On 4 July 2017 at 00:06, Michael Forney wrote: >>> I noticed that git.suckless.org is no longer accepting connections >>> with the git protocol. HTTP still works though. >>> >>> Just pointing that out

Re: [dev] git://git.suckless.org not accepting connections

2017-07-04 Thread Ivan J.
On Tue, 04 Jul 2017, Laslo Hunhold wrote: > On Tue, 4 Jul 2017 10:12:45 +0200 > Hiltjo Posthuma wrote: > > Hey Hiltjo, > > > Maybe we should only allow SSH for private repos and git:// for the > > public ones (sites). This is also more efficient. > > > > What do you think? > > I assume you me

Re: [dev] git://git.suckless.org not accepting connections

2017-07-04 Thread Laslo Hunhold
On Tue, 4 Jul 2017 10:12:45 +0200 Hiltjo Posthuma wrote: Hey Hiltjo, > Maybe we should only allow SSH for private repos and git:// for the > public ones (sites). This is also more efficient. > > What do you think? I assume you mean that we only allow git:// for read-only cloning of the repos a

Re: [dev] git://git.suckless.org not accepting connections

2017-07-04 Thread Hiltjo Posthuma
On Tue, Jul 04, 2017 at 12:46:58AM +0200, Anselm R Garbe wrote: > On 4 July 2017 at 00:36, Anselm R Garbe wrote: > > On 4 July 2017 at 00:06, Michael Forney wrote: > >> I noticed that git.suckless.org is no longer accepting connections > >> with the git protocol. HTTP still works though. > >> > >

Re: [dev] git://git.suckless.org not accepting connections

2017-07-03 Thread Anselm R Garbe
On 4 July 2017 at 00:36, Anselm R Garbe wrote: > On 4 July 2017 at 00:06, Michael Forney wrote: >> I noticed that git.suckless.org is no longer accepting connections >> with the git protocol. HTTP still works though. >> >> Just pointing that out in case it wasn't a deliberate change. > > Nice spo

Re: [dev] git://git.suckless.org not accepting connections

2017-07-03 Thread Anselm R Garbe
Hi Michael, On 4 July 2017 at 00:06, Michael Forney wrote: > I noticed that git.suckless.org is no longer accepting connections > with the git protocol. HTTP still works though. > > Just pointing that out in case it wasn't a deliberate change. Nice spot, wasn't deliberate and is caused by the se

[dev] git://git.suckless.org not accepting connections

2017-07-03 Thread Michael Forney
Hi, I noticed that git.suckless.org is no longer accepting connections with the git protocol. HTTP still works though. Just pointing that out in case it wasn't a deliberate change. -Michael