Skip to content

Resolve "Patch Release: 2.0.1"

Lukas Riedel requested to merge 2.0-patch into 2.0-stable

We're releasing patch version 2.0.1 for branch 2.0-stable! 🎉

Release Issue

The MRs to be considered in this update are listed in #202 (closed)

Tasks

  • Cherry-pick the listed commits into 2.0-patch
  • CHANGELOG.md: Move appropriate entries into new section
  • Update version numbers in VERSION, CHANGELOG.md, dune.module
  • [ ] Update version="unreleased" tags in the default config file XML sources
  • [ ] Update Sphinx version directives with version unreleased in the user docs.

Help on Cherry-Picking

Cherry-picking merge commits requires specifying the "mainline" parent, which should always be number 1. Append a line indicating a cherry-pick to the commit message with the -x argument. The following should do the trick:

git cherry-pick -m 1 -x <commits>

Replace <commits> with the Commit SHAs listed above, separated by a single whitespace each. Make sure they are in chronological order to reduce the number of merge conflicts! Fix such conflicts as unintrusively as possible.

Can this MR be merged?

  • Pipeline passing
  • Delete branch option set

Related Issues

Release issue: #202 (closed)

Edited by Lukas Riedel

Merge request reports