tree fd317185c3fc143cdb66da57f8f0a8f16743c9d0
parent eaa2b610e4c559430dc0e0a1f4f92948d4e4a211
author Claude Brisson <claude@renegat.net> 1611844047 +0100
committer Claude Brisson <claude@renegat.net> 1611844047 +0100

Use github rather than gitbox for production cloning