Files
galaxy/scripts
mvdbeek 09de447b6d Skip PRs that are already in the release notes
When updating the (already edited) release notes during the PR process
it is a major pain which PRs are really new. This makes that much
easier. Just be sure to keep the anchors (`.. bug`, `.. enhancement`) in until we are ready to
publish the release
2021-03-10 16:55:42 +01:00
..
2020-10-07 11:52:13 +01:00
2020-10-07 11:52:13 +01:00
2020-10-07 11:52:13 +01:00
2020-10-07 11:52:13 +01:00
2021-01-07 16:26:06 +01:00
2020-12-30 09:41:34 -05:00
2020-10-07 11:52:13 +01:00
2020-10-07 11:52:13 +01:00