Skip to content

Conversation

@dstrain115
Copy link
Collaborator

  • Cleaning up some punctuation and defining the remote_host option
    which was mentioned but not explained.

- Cleaning up some punctuation and defining the `remote_host` option
  which was mentioned but not explained.
@CirqBot CirqBot added the size: S 10< lines changed <50 label Jun 24, 2022
Copy link
Collaborator

@dabacon dabacon left a comment

Choose a reason for hiding this comment

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

LGTM

@dstrain115 dstrain115 added the automerge Tells CirqBot to sync and merge this PR. (If it's running.) label Jun 24, 2022
@CirqBot CirqBot added the front_of_queue_automerge CirqBot uses this label to indicate (and remember) what's being merged next. label Jun 24, 2022
@CirqBot CirqBot merged commit ce1d707 into quantumlib:master Jun 24, 2022
@CirqBot CirqBot removed automerge Tells CirqBot to sync and merge this PR. (If it's running.) front_of_queue_automerge CirqBot uses this label to indicate (and remember) what's being merged next. labels Jun 24, 2022
rht pushed a commit to rht/Cirq that referenced this pull request May 1, 2023
- Cleaning up some punctuation and defining the `remote_host` option
  which was mentioned but not explained.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size: S 10< lines changed <50

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants