This repository was archived by the owner on Aug 2, 2020. It is now read-only.
This repository was archived by the owner on Aug 2, 2020. It is now read-only.
Closed
Description
Right now, for a given pull request, the target branch and the associated milestone are totally independent. It allows for a situation when some changes are released as part of the changes in the branch being tagged but are not listed in the release note. It happens every once in a while.
High-level, the logic is the following:
- Take all merge commits since the last release.
- Associate them with pull requests on GitHub and the corresponding issues (via the Fixes and Closes references).
- If there's a discrepancy, report a problem and halt.
- Additionally, if some changes need to be excluded from the notes explicitly, there may be a label for that.