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

[ART-3147] Switch to art-tools #3881

Merged
merged 4 commits into from
Aug 11, 2023
Merged

[ART-3147] Switch to art-tools #3881

merged 4 commits into from
Aug 11, 2023

Conversation

ashwindasr
Copy link
Contributor

@ashwindasr ashwindasr commented Aug 9, 2023 •
edited by thegreyd
Loading

@ashwindasr ashwindasr mentioned this pull request Aug 9, 2023
Closed
@ashwindasr
Copy link
Contributor Author

/retitile [ART-7190] Switch to art-tools

@ashwindasr
Copy link
Contributor Author

/cc @thegreyd

@openshift-ci openshift-ci bot requested a review from thegreyd August 9, 2023 21:44
@ashwindasr
Copy link
Contributor Author

/hold

@openshift-ci openshift-ci bot added the do-not-merge/hold Indicates that a PR should not merge because someone has issued a /hold command. label Aug 9, 2023
@ashwindasr
Copy link
Contributor Author

/unhold

@openshift-ci openshift-ci bot removed the do-not-merge/hold Indicates that a PR should not merge because someone has issued a /hold command. label Aug 9, 2023
@ashwindasr
Copy link
Contributor Author

/retitle WIP [ART-7190] Switch to art-tools

@openshift-ci openshift-ci bot changed the title Switch to art tools WIP [ART-7190] Switch to art-tools Aug 9, 2023
@openshift-ci openshift-ci bot added the do-not-merge/work-in-progress Indicates that a PR should not merge because it is a work in progress. label Aug 9, 2023
@ashwindasr
Copy link
Contributor Author

/retitle [ART-7190] Switch to art-tools (WIP)

@openshift-ci openshift-ci bot changed the title WIP [ART-7190] Switch to art-tools [ART-7190] Switch to art-tools (WIP) Aug 10, 2023
@openshift-ci openshift-ci bot removed the do-not-merge/work-in-progress Indicates that a PR should not merge because it is a work in progress. label Aug 10, 2023
@ashwindasr
Copy link
Contributor Author

/retitle WIP [ART-3147] Switch to art-tools

@openshift-ci openshift-ci bot changed the title [ART-7190] Switch to art-tools (WIP) WIP [ART-3147] Switch to art-tools Aug 10, 2023
@openshift-ci openshift-ci bot added the do-not-merge/work-in-progress Indicates that a PR should not merge because it is a work in progress. label Aug 10, 2023
@ashwindasr
Copy link
Contributor Author

/retitle [ART-3147] Switch to art-tools

@openshift-ci openshift-ci bot changed the title WIP [ART-3147] Switch to art-tools [ART-3147] Switch to art-tools Aug 10, 2023
@openshift-ci openshift-ci bot removed the do-not-merge/work-in-progress Indicates that a PR should not merge because it is a work in progress. label Aug 10, 2023
@thegreyd thegreyd added the do-not-merge/hold Indicates that a PR should not merge because someone has issued a /hold command. label Aug 10, 2023
@openshift-ci openshift-ci bot added lgtm Indicates that a PR is ready to be merged. approved Indicates a PR has been approved by an approver from all required OWNERS files. labels Aug 10, 2023
@Ximinhan
Copy link
Contributor

/lgtm

@ashwindasr
Copy link
Contributor Author

/approve

@openshift-ci
Copy link
Contributor

openshift-ci bot commented Aug 11, 2023

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: ashwindasr, thegreyd

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

The pull request process is described here

Needs approval from an approver in each of these files:
  • OWNERS [ashwindasr,thegreyd]

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

@ashwindasr
Copy link
Contributor Author

/unhold

@openshift-ci openshift-ci bot removed the do-not-merge/hold Indicates that a PR should not merge because someone has issued a /hold command. label Aug 11, 2023
@openshift-merge-robot openshift-merge-robot merged commit 120ad76 into openshift-eng:master Aug 11, 2023
1 check passed
@ashwindasr ashwindasr deleted the switch-to-art-tools branch August 11, 2023 12:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@thegreyd thegreyd thegreyd approved these changes

Assignees

@thegreyd thegreyd

@Ximinhan Ximinhan

Labels
approved Indicates a PR has been approved by an approver from all required OWNERS files. lgtm Indicates that a PR is ready to be merged.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@ashwindasr @Ximinhan @thegreyd @openshift-merge-robot