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.

Sign up for GitHub

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

Jump to bottom

Update version to 1.1.1 servicing. #33

Merged
merged 1 commit into from
Dec 8, 2022
Merged

Update version to 1.1.1 servicing. #33

merged 1 commit into from
Dec 8, 2022

Conversation

AraHaan
Copy link
Contributor

@AraHaan AraHaan commented Dec 8, 2022

Checklist

  • I have read the Code of Conduct and the Contributing files before opening this issue.
  • I have verified the issue this pull request fixes or feature this pull request implements is to the current release.
  • I am using the latest stable release with the above code fix or the current main branch if code changes are present (prerelease code changes).
  • I have debugged and tested my changes before submitting this issue and that everything should just work.

Describe the issue this fixes / feature this adds

@AraHaan AraHaan marked this pull request as ready for review December 8, 2022 17:17
@mergify mergify bot added enhancement New feature or request automerge Tells mergify that this pull request is ready for auto merge. labels Dec 8, 2022
@mergify
Copy link

mergify bot commented Dec 8, 2022

This pull request is about to be automerged.

mergify[bot]
mergify bot approved these changes Dec 8, 2022
View reviewed changes
Copy link

@mergify mergify bot left a comment

Choose a reason for hiding this comment

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

Automatically approving since automerge label was found.

@mergify mergify bot merged commit 702f449 into main Dec 8, 2022
@mergify mergify bot deleted the update-versions branch December 8, 2022 17:25
@mergify mergify bot removed the automerge Tells mergify that this pull request is ready for auto merge. label Dec 8, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mergify mergify[bot] mergify[bot] approved these changes

Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@AraHaan