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.18 [84f25d7eb1] 2022-02-23 13:22:20
This page was generated in about 0.008s