Skip to content

Add marking PRs to release#437

Merged
jraska merged 1 commit into
masterfrom
mark-prs-with-milestone
Mar 20, 2021
Merged

Add marking PRs to release#437
jraska merged 1 commit into
masterfrom
mark-prs-with-milestone

Conversation

@jraska

@jraska jraska commented Mar 20, 2021 •
edited
Loading

Copy link
Copy Markdown
Owner
  • Creates milestone based on Tag
  • Marks all PRs without milestone (could be improved, but not worth the effort now)
  • Adds a comment about the Released stuff to the PR
  • Milestone and release receive the list of PRs
  • Resolves Tag PRs on release #345

@jraska
jraska merged commit 5c1cad6 into master Mar 20, 2021
@jraska
jraska deleted the mark-prs-with-milestone branch March 20, 2021 16:30
@github-actions

github-actions Bot commented Mar 20, 2021

Copy link
Copy Markdown
Contributor

This PR was released with 0.23.0

@github-actions github-actions Bot added this to the 0.23.0 milestone Mar 20, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

0.23.0

Development

Successfully merging this pull request may close these issues.

Tag PRs on release

1 participant

@jraska