Skip to content

Conversation

@givanov
Copy link
Member

@givanov givanov commented Dec 12, 2019

No description provided.

@ouzibot ouzibot added approved Indicates a PR has been approved by an approver from all required OWNERS files. size/L Denotes a PR that changes 100-499 lines, ignoring generated files. labels Dec 12, 2019
@belitre
Copy link
Contributor

belitre commented Dec 12, 2019

/lgtm

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

ouzibot commented Dec 12, 2019

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: belitre, 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:

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 f5f59e0 into master Dec 12, 2019
@ouzibot ouzibot deleted the fix/add-license branch December 12, 2019 12:27
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/L Denotes a PR that changes 100-499 lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants