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] - Removed tools image #358

Closed
wants to merge 5 commits into from
Closed

Conversation

maltesander
Copy link
Member

@maltesander maltesander commented Dec 13, 2022

Description

Removed tools image. Working locally with locally build docker image.

Review Checklist

  • Code contains useful comments
  • CRD change approved (or not applicable)
  • (Integration-)Test cases added (or not applicable)
  • Documentation added (or not applicable)
  • Changelog updated (or not applicable)
  • Cargo.toml only contains references to git tags (not specific commits or branches)
  • Helm chart can be installed and deployed operator works (or not applicable)

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

@maltesander maltesander added status/blocked release/2023-01 release-note/action-required Denotes a PR that introduces potentially breaking changes that require user action. labels Dec 13, 2022
@maltesander maltesander self-assigned this Dec 13, 2022
CHANGELOG.md Outdated Show resolved Hide resolved
Copy link
Member

@sbernauer sbernauer left a comment

Choose a reason for hiding this comment

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

lgtm when tests pass

@maltesander
Copy link
Member Author

@maltesander maltesander marked this pull request as ready for review December 13, 2022 16:52
@maltesander
Copy link
Member Author

bors merge

bors bot pushed a commit that referenced this pull request Dec 13, 2022
# Description

Removed tools image. Working locally with locally build docker image.



Co-authored-by: Malte Sander <[email protected]>
Co-authored-by: Sebastian Bernauer <[email protected]>
@bors
Copy link
Contributor

bors bot commented Dec 13, 2022

Pull request successfully merged into main.

Build succeeded:

@bors bors bot changed the title Removed tools image [Merged by Bors] - Removed tools image Dec 13, 2022
@bors bors bot closed this Dec 13, 2022
@bors bors bot deleted the remove-tools-image branch December 13, 2022 16:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release/2023-01 release-note/action-required Denotes a PR that introduces potentially breaking changes that require user action.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants