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

[Merged by Bors] - Support specifying Service type #432

Closed
wants to merge 1 commit into from

Conversation

sbernauer
Copy link
Member

Description

For stackabletech/issues#360

Definition of Done Checklist

  • Not all of these items are applicable to all PRs, the author should update this template to only leave the boxes in that are relevant
  • Please make sure all these things are done and tick the boxes

Author

Reviewer

Acceptance

Once the review is done, comment bors r+ (or bors merge) to merge. Further information

@sbernauer
Copy link
Member Author

Copy link
Member

@maltesander maltesander left a comment

Choose a reason for hiding this comment

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

LGTM.

@sbernauer
Copy link
Member Author

bors r+
test passed

bors bot pushed a commit that referenced this pull request Apr 6, 2023
@bors
Copy link
Contributor

bors bot commented Apr 6, 2023

Pull request successfully merged into main.

Build succeeded:

@bors bors bot changed the title Support specifying Service type [Merged by Bors] - Support specifying Service type Apr 6, 2023
@bors bors bot closed this Apr 6, 2023
@bors bors bot deleted the feat/service-type branch April 6, 2023 11:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants