Skip to content

Conversation

@belitre
Copy link
Contributor

@belitre belitre commented Feb 12, 2020

No description provided.

@ouzibot ouzibot added do-not-merge/work-in-progress Indicates that a PR should not merge because it is a work in progress. approved Indicates a PR has been approved by an approver from all required OWNERS files. labels Feb 12, 2020
@ouzibot ouzibot requested a review from givanov February 12, 2020 12:23
@ouzibot ouzibot added the size/XXL Denotes a PR that changes 1000+ lines, ignoring generated files. label Feb 12, 2020
@github-actions
Copy link

/hold

@ouzibot ouzibot added the do-not-merge/hold Indicates that a PR should not merge because someone has issued a /hold command. label Feb 12, 2020
@github-actions
Copy link

/hold cancel

@ouzibot ouzibot removed the do-not-merge/hold Indicates that a PR should not merge because someone has issued a /hold command. label Feb 12, 2020
@github-actions
Copy link

/hold

@ouzibot ouzibot added the do-not-merge/hold Indicates that a PR should not merge because someone has issued a /hold command. label Feb 12, 2020
@github-actions
Copy link

/hold

@github-actions
Copy link

/hold

1 similar comment
@github-actions
Copy link

/hold

@github-actions
Copy link

/hold

@github-actions
Copy link

/hold cancel

@ouzibot ouzibot removed the do-not-merge/hold Indicates that a PR should not merge because someone has issued a /hold command. label Feb 12, 2020
@belitre belitre marked this pull request as ready for review February 12, 2020 12:55
@ouzibot ouzibot removed the do-not-merge/work-in-progress Indicates that a PR should not merge because it is a work in progress. label Feb 12, 2020
Copy link
Member

@alexouzounis alexouzounis left a comment

Choose a reason for hiding this comment

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

/lgtm

@ouzibot ouzibot added the lgtm Indicates that a PR is ready to be merged. label Feb 12, 2020
@ouzibot
Copy link

ouzibot commented Feb 12, 2020

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: alexouzounis, belitre

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 [alexouzounis,belitre]

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

@ouzibot ouzibot merged commit 2e96f56 into master Feb 12, 2020
@ouzibot ouzibot deleted the feature/no_post branch February 12, 2020 12:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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. size/XXL Denotes a PR that changes 1000+ lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants