Skip to content

Conversation

@alexouzounis
Copy link
Member

No description provided.

@ouzibot ouzibot requested review from belitre and givanov November 25, 2019 12:33
@ouzibot ouzibot added approved Indicates a PR has been approved by an approver from all required OWNERS files. size/XS Denotes a PR that changes 0-9 lines, ignoring generated files. labels Nov 25, 2019
@givanov
Copy link
Member

givanov commented Nov 25, 2019

/lgtm

@ouzibot ouzibot added the lgtm Indicates that a PR is ready to be merged. label Nov 25, 2019
@ouzibot
Copy link

ouzibot commented Nov 25, 2019

[APPROVALNOTIFIER] This PR is APPROVED

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

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,givanov]

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 ddc3006 into master Nov 25, 2019
@ouzibot ouzibot deleted the feat/fix_example branch November 25, 2019 12:35
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/XS Denotes a PR that changes 0-9 lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants