Closed tkphd closed 2 years ago
Fine to leave gh-pages unprotected while we prepare, but it should be protected against direct commits, and PRs should not be merged without an approving review.
gh-pages
Ok, I think that is done now
Fine to leave
gh-pages
unprotected while we prepare, but it should be protected against direct commits, and PRs should not be merged without an approving review.