darcs repository web UI and hosting app. This is the main darcsden trunk, which also runs hub.darcs.net. (https://hub.darcs.net)
#194Darcs push (ssh stdout problems) with hub.darcs.net
https://darcs.net/Troubleshooting#darcs-push-ssh-stdout-problems
The solution seems to suggest that the issue is on the server?
I had another report that the ssh server had died, for an unknown reason, and I have restarted it. Does that resolve it ?
- status set to closed
