Skip to content

Conversation

@Strilanc
Copy link
Contributor

No description provided.

@Strilanc Strilanc requested a review from vtomole May 19, 2020 23:24
@googlebot googlebot added the cla: yes Makes googlebot stop complaining. label May 19, 2020
@Strilanc Strilanc added the automerge Tells CirqBot to sync and merge this PR. (If it's running.) label May 19, 2020
@CirqBot CirqBot added the front_of_queue_automerge CirqBot uses this label to indicate (and remember) what's being merged next. label May 19, 2020
@CirqBot CirqBot merged commit 3631460 into master May 19, 2020
@CirqBot CirqBot removed the automerge Tells CirqBot to sync and merge this PR. (If it's running.) label May 19, 2020
@CirqBot CirqBot deleted the lint0 branch May 19, 2020 23:49
@CirqBot CirqBot removed the front_of_queue_automerge CirqBot uses this label to indicate (and remember) what's being merged next. label May 19, 2020
tonybruguier pushed a commit to tonybruguier/Cirq that referenced this pull request Aug 23, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla: yes Makes googlebot stop complaining.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants