Skip to content

Conversation

@thepetk
Copy link
Contributor

@thepetk thepetk commented Sep 15, 2023

What does this PR do?

Updates the OWNERS file with the new members of devfile team

What issues does this PR fix or reference?

this task is part of devtools week

Is your PR tested? Consider putting some instruction how to test your changes

This PR only updates the OWNERS file

Signed-off-by: thepetk <thepetk@gmail.com>
@kim-tsao
Copy link
Collaborator

/lgtm

@openshift-ci
Copy link

openshift-ci bot commented Sep 21, 2023

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: kim-tsao, maysunfaisal, thepetk

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:
  • OWNERS [kim-tsao,maysunfaisal,thepetk]

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

@kim-tsao kim-tsao merged commit e4731a2 into devfile:main Sep 21, 2023
@michael-valdron michael-valdron mentioned this pull request Sep 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: Done ✅

Development

Successfully merging this pull request may close these issues.

3 participants