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.15 [1a1c0ebe3c] 2021-04-08 00:55:18
This page was generated in about 0.004s