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 [2c6012c4aa] 2021-03-26 17:24:55
This page was generated in about 0.003s