Skip to content

chore: update tools#566

Merged
openshift-merge-bot[bot] merged 5 commits into
rhobs:mainfrom
simonpasquier:update-tools
Sep 19, 2024
Merged

chore: update tools#566
openshift-merge-bot[bot] merged 5 commits into
rhobs:mainfrom
simonpasquier:update-tools

Conversation

@simonpasquier
Copy link
Copy Markdown
Contributor

No description provided.

@simonpasquier simonpasquier requested a review from a team as a code owner September 11, 2024 15:24
@simonpasquier simonpasquier requested review from slashpai and sthaha and removed request for a team September 11, 2024 15:24
@openshift-ci openshift-ci Bot requested review from jan--f and periklis September 11, 2024 15:24
@openshift-ci
Copy link
Copy Markdown

openshift-ci Bot commented Sep 11, 2024

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: simonpasquier

The full list of commands accepted by this bot can be found here.

The pull request process is described here

Details Needs approval from an approver in each of these files:

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment

@simonpasquier simonpasquier changed the title Update tools chore: update tools Sep 11, 2024
@simonpasquier
Copy link
Copy Markdown
Contributor Author

/cc @danielmellado

Comment thread Makefile Outdated
@rexagod
Copy link
Copy Markdown
Member

rexagod commented Sep 19, 2024

/lgtm

@openshift-ci openshift-ci Bot added the lgtm label Sep 19, 2024
@openshift-merge-bot openshift-merge-bot Bot merged commit 7157d39 into rhobs:main Sep 19, 2024
Copy link
Copy Markdown
Collaborator

@marioferh marioferh left a comment

Choose a reason for hiding this comment

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

/lgtm

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants