Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq-doc
Commits:
-
f70ccf62
by Julien Puydt at 2022-02-06T21:35:10+01:00
13 changed files:
- − .gitattributes
- + .github/CODEOWNERS
- + .github/ISSUE_TEMPLATE.md
- + .github/PULL_REQUEST_TEMPLATE.md
- + .github/SUPPORT.md
- + .github/workflows/check-conflicts.yml
- + .github/workflows/ci.yml
- + .github/workflows/stale.yml
- + .gitlab-ci.yml
- − .mailmap
- − .merlin
- + .ocamlformat
- + .ocamlinit