[DRAFT] Add script for cutting releases - #15558
Draft
shonfeder wants to merge 1 commit into
Draft
Conversation
Signed-off-by: Shon Feder <shon.feder@gmail.com>
shonfeder
changed the title
shonfeder
commented
Jul 19, 2026
Comment on lines
+21
to
+31
| # - NB. To stage a release against forks, dune-release reads the following from | ||
| # the environment; they pass through 'make opam-release' unchanged: | ||
| # - DUNE_RELEASE_DEV_REPO the dune fork the release/tag/tarball goes to | ||
| # (a plain git URL, e.g. https://..., not git+https) | ||
| # - DUNE_RELEASE_OPAM_REPO the opam-repository the package PR is opened into | ||
| # (owner/repo form) | ||
| # - DUNE_RELEASE_REMOTE_REPO your fork of opam-repository to push the PR from | ||
| # (a git URL, e.g. git@github.com:you/opam-repository.git) | ||
| # - DUNE_RELEASE_LOCAL_REPO path to a local clone of that opam-repository fork | ||
| # Set DUNE_REMOTE to the matching dune fork remote so the release branch and | ||
| # changelog commit are pushed there too. |
Member
Author
There was a problem hiding this comment.
In my attempt to test this locally against my personal forks today, I found that this is actually insufficient for testing locally, because despite having export DUNE_RELEASE_DEV_REPO=https://github.com/shonfeder/dune.git, dune-release still tried to push the release to the main repo, based on the opam file configuration. I am not sure yet whether this was due to a configuration error on my part, or some unexpected behavior from dune-release.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Description
A bash script to automate the process of cutting releases. It still has some missing edge cases and I'm not confident in it's ability run correctly in all cases. I will be doing more testing on my fork before requesting reviews.
Related Issue and Motivation
Fixes #14281
Checklist