diff options
| author | Théo Zimmermann | 2020-02-14 17:12:47 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-02-14 17:12:47 +0100 |
| commit | df94f1a5430dde7cee6ccb1c16854bcbc94575c8 (patch) | |
| tree | 53de58ca4f8a7281eecd41ee476843e3d6e59d19 /dev | |
| parent | 90ccf8e413aea57ec670ea26174d3deffb4036aa (diff) | |
| parent | 8d03696658e409df1349585d59dabe13dbf52ed2 (diff) | |
Merge PR #11468: [doc] fix typo & update release-process.md for opam/docker packaging
Reviewed-by: Zimmi48
Ack-by: jfehrle
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/release-process.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index 2b09b2b42e..58c2fcc68a 100644 --- a/dev/doc/release-process.md +++ b/dev/doc/release-process.md @@ -127,9 +127,9 @@ in time. - [ ] Send an e-mail on Coqdev announcing that the tag has been put so that package managers can start preparing package updates (including a `coq-bignums` compatible version). -- [ ] Ping `@erikmd` to update the Docker images in `coqorg/coq` - (requires `coq-bignums` in `extra-dev` for a beta / in `released` - for a final release). +- [ ] When opening the corresponding PR for `coq` in the opam repository ([`coq/opam-coq-archive`](https://github.com/coq/opam-coq-archive) or [`ocaml/opam-repository`](https://github.com/ocaml/opam-repository)), + the package managers can Cc `@erikmd` to request that he prepare the necessary configuration for the Docker release in [`coqorg/coq`](https://hub.docker.com/r/coqorg/coq) + (namely, he'll need to make sure a `coq-bignums` opam package is available in [`extra-dev`](https://github.com/coq/opam-coq-archive/tree/master/extra-dev), respectively [`released`](https://github.com/coq/opam-coq-archive/tree/master/released), so the Docker image gathering `coq` and `coq-bignums` can be built). - [ ] Draft a release on GitHub. - [ ] Get `@maximedenes` to sign the Windows and MacOS packages and upload them on GitHub. |