this repo has no description
Merge pull request #27359 from v-gb/push-xvzzpoqywovr
update dune-release section of CONTRIBUTING.md
authored by
Marcello Seri
and committed by
GitHub
9bc140ef
354fa256
+1
-2
+1
-2
CONTRIBUTING.md
+1
-2
CONTRIBUTING.md
···
23
23
* parses (and enforces a format, can be good or bad) for the changelog, to put it in the tag
24
24
* creates the github release with that information
25
25
* builds, run tests, lint
26
-
* uploads the documentation
27
26
* creates and uploads a separate archive (also has an option to include the git submodules)
28
27
* works only if your project is on GitHub
29
28
* doesn’t support force-pushed tags
···
44
43
45
44
First, make sure your project is using dune and is hosted on GitHub.
46
45
Then, make sure you’ve forked opam-repository on GitHub. If not go to https://github.com/ocaml/opam-repository/fork
47
-
Then, create a new file in `~/.config/dune/release.yml` with the content as indicated below, change `<username>` by your local username and `<github-user>` by your own github username:
46
+
Then, create a new file in `~/.config/dune/release.yml` with the content as indicated below, change `<username>` by your local username and `<github-username>` by your own github username:
48
47
```
49
48
remote: git@github.com:<github-username>/opam-repository.git
50
49
local: /home/<username>/.cache/dune/opam-repository/