Closed teto closed 3 years ago
A shallow clone does sound better. Alternatively, could we push from the website to this repo ? or merge the two repos ?
A pull model is better, in terms of permissions.
actually a clone doesn't work because files in the clone dont have the same hierarchy as in the generated website (or I would need to generate the website after the clone).
This should be good to squash.
FWIW,
docs
sounds better thandoc2
.