You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Aug 2, 2020. It is now read-only.
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.
The text was updated successfully, but these errors were encountered:
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:
The text was updated successfully, but these errors were encountered: