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.13 [e7bba4ff36] 2020-11-01 00:13:51
This page was generated in about 0.008s