Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: refinement of PR template #324

Merged
merged 1 commit into from
Jul 25, 2023
Merged

chore: refinement of PR template #324

merged 1 commit into from
Jul 25, 2023

Conversation

lechnerc77
Copy link
Member

Purpose

Does this introduce a breaking change?

[ ] Yes
[X] No

Pull Request Type

What kind of change does this Pull Request introduce?

[ ] Bugfix
[ ] Feature
[ ] Refactoring (no functional changes, no api changes)
[ ] Documentation content changes
[X] Other... Please describe: refinement of PR template

How to Test

n/a

What to Check

n/a

Other Information

n/a

@lechnerc77 lechnerc77 added the ignore-for-release All things not to be mentioned in release notes label Jul 25, 2023
@lechnerc77 lechnerc77 added this to the 0.2.0-beta1 - July release milestone Jul 25, 2023
@lechnerc77 lechnerc77 self-assigned this Jul 25, 2023
@lechnerc77 lechnerc77 enabled auto-merge (squash) July 25, 2023 09:50
@lechnerc77 lechnerc77 requested a review from rui1610 July 25, 2023 09:50
Copy link
Contributor

@rui1610 rui1610 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm
Makes things a lot easier. Thanks Christian!

@lechnerc77 lechnerc77 merged commit ba459fa into main Jul 25, 2023
11 checks passed
@lechnerc77 lechnerc77 deleted the refinement-pr-template branch July 25, 2023 09:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ignore-for-release All things not to be mentioned in release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Improve PR Template
2 participants