Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
4.19.7
  • Loading branch information
bobjacobsen committed May 30, 2020
1 parent ca5daaa commit 94cd902
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion scripts/HOWTO-distribution.md
Expand Up @@ -217,7 +217,7 @@ git push github

- Check that the correct milestone is on all merged pulls. This is needed for the release note. Start with the list of PRs merged since the last test release was started:
```
https://github.com/JMRI/JMRI/pulls?utf8=✓&q=is%3Apr+is%3Amerged+no%3Amilestone++merged%3A%3E2020-02-12+
https://github.com/JMRI/JMRI/pulls?utf8=✓&q=is%3Apr+is%3Amerged+no%3Amilestone++merged%3A%3E2020-03-01+
```
where the date at the end should be the date (and optionally time) of the last release. For each, if it doesn't have the right milestone set, and is a change to the release code (e.g. isn't just a change to the CI settings or similar), add the current milestone.

Expand Down

0 comments on commit 94cd902

Please sign in to comment.