[darcs-users] darcs hub outage update, 2018-06-25

Another update. I have moved hub.darcs.net to a new VPS of its own. Note the IP address has changed to 173.255.219.113. The web UI is up again and should be working normally. I have added status info to the front page. The ssh server is not yet operational, I am still

Re: [darcs-users] so long and thanks for all the darcs

Ben Franksen writes: > Hi Stephen > > Am 08.03.2018 um 09:52 schrieb Stephen J. Turnbull: > > Another long one. But we're converging! > > Indeed. I think we agree on almost every point, I think so, at this point. You added some stuff that I don't disagree with but think I can shed some a

Re: [darcs-users] so long and thanks for all the darcs

Another long one. But we're converging! Ben Franksen writes: > Am 05.03.2018 um 04:40 schrieb Stephen J. Turnbull: > > Although git and Mercurial (and Bazaar) share a repository model that > > is somewhat more complex (DAG of versions), only git's implementation > > is faithful with an immut

[darcs-users] darcs hub is back up

Darcs hub ssh access, and the whole site should now be working normally again. (Thanks to gpiero for the hint to add darcs to $PATH for ssh users.) Updating your known hosts file When you next attempt a darcs operation using ssh, you will likely see a big warning like "WARNING: REMOTE HOST IDEN

Re: [darcs-users] darcs hub is back up

Thanks for the heads up and your work :) On Mon, Jun 25, 2018 at 8:01 PM, Simon Michael wrote: > Darcs hub ssh access, and the whole site should now be working normally > again. (Thanks to gpiero for the hint to add darcs to $PATH for ssh users.) > > *Updating your known hosts file* > > When you

Re: [darcs-users] darcs hub is back up

Thank you so much for all your hard work Simon. It's awesome to have hub.darcs.net back online! :o) Den man. 25. jun. 2018 kl. 20.01 skrev Simon Michael : > Darcs hub ssh access, and the whole site should now be working normally > again. (Thanks to gpiero for the hint to add darcs to $PATH for s