Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

canonical device for 'scout' command #1337

Merged
merged 1 commit into from
Jun 20, 2023
Merged

canonical device for 'scout' command #1337

merged 1 commit into from
Jun 20, 2023

Conversation

kostmo
Copy link
Member

@kostmo kostmo commented Jun 20, 2023

Supplements #1207

@kostmo kostmo marked this pull request as ready for review June 20, 2023 22:01
@kostmo kostmo requested a review from byorgey June 20, 2023 22:01
attr: device
char: 'B'
description:
- Allows one to `scout` for other robots
Copy link
Member

Choose a reason for hiding this comment

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

Personally, I would tend to go for a somewhat more whimsical/detailed description, but I don't think it matters all that much.

Copy link
Member Author

Choose a reason for hiding this comment

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

Sure, there's room to revisit when inspiration strikes.

@kostmo kostmo added the merge me Trigger the merge process of the Pull request. label Jun 20, 2023
@mergify mergify bot merged commit c43dca0 into main Jun 20, 2023
7 checks passed
@mergify mergify bot deleted the scout-device branch June 20, 2023 22:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge me Trigger the merge process of the Pull request.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants