Skip to content

chore: update workflows to create release#198

Merged
weibullguy merged 1 commit intomasterfrom
chore/release_drafter
Apr 29, 2023
Merged

chore: update workflows to create release#198
weibullguy merged 1 commit intomasterfrom
chore/release_drafter

Conversation

@weibullguy
Copy link
Copy Markdown
Member

@weibullguy weibullguy commented Apr 29, 2023

Update workflows to:

  • Update CHANGELOG.md and create a GH release whenever a PR with the release label is merged to master.
  • Close old milestones and create new milestones for the next minor and major version whenever a version tag is pushed.

@weibullguy weibullguy added the chore Boring, but important, stuff label Apr 29, 2023
@weibullguy weibullguy merged commit f0b47b1 into master Apr 29, 2023
@weibullguy weibullguy deleted the chore/release_drafter branch April 29, 2023 14:59
weibullguy added a commit that referenced this pull request Apr 29, 2023
@weibullguy
Merge branch 'master' into release/v1.7.0
fd192bb 
* master:
  chore: update workflows to create release (#198)
@weibullguy weibullguy mentioned this pull request May 4, 2023
Closed
@weibullguy weibullguy added the S: merged Closed with work merged to repository label Jun 21, 2023
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

chore Boring, but important, stuff S: merged Closed with work merged to repository

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@weibullguy