chiark / gitweb /
Remote push support seems to work. Closes:#721185.