#darcshub — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #darcshub, aggregated by home.social.
-
-
https://updown.io/bc6u is a status page for https://hub.darcs.net . I've increased the frequency from 5m to (temporarily) 15s to see if the (hourly ?) cron restarts are detectable.
Incidentally, I'm a happy https://updown.io customer, it's awesome.
-
https://updown.io/bc6u is a status page for https://hub.darcs.net . I've increased the frequency from 5m to (temporarily) 15s to see if the (hourly ?) cron restarts are detectable.
Incidentally, I'm a happy https://updown.io customer, it's awesome.
-
Lots of #darcs toots I see ! 👍
After receiving some patches, I worked a little on https://hub.darcs.net tonight. It has been running basically maintenance free (touch wood) for years, a goal of mine. It turns out I last compiled it with GHC 8.0 in 2018.
The dev instance https://hub-dev.darcs.net is now up, running latest code (30 new patches) and compiled with GHC 8.10.7. It uses the same repos and db as prod, so you should be able to use it for real work. Testing welcome!
-
Lots of #darcs toots I see ! 👍
After receiving some patches, I worked a little on https://hub.darcs.net tonight. It has been running basically maintenance free (touch wood) for years, a goal of mine. It turns out I last compiled it with GHC 8.0 in 2018.
The dev instance https://hub-dev.darcs.net is now up, running latest code (30 new patches) and compiled with GHC 8.10.7. It uses the same repos and db as prod, so you should be able to use it for real work. Testing welcome!