The "dont-push" setting:
If enabled, prevent this repository from pushing from client to server. This can be used as an extra precaution to prevent accidental pushes to a public server from a private clone.
Fossil 2.14 [487776dc45] 2021-01-20 15:34:40
This page was generated in about 0.004s