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.

Sign up for GitHub

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

Jump to bottom

feat(words): add driveblocks #772

Closed
wants to merge 2 commits into from
Closed

feat(words): add driveblocks #772

wants to merge 2 commits into from

Conversation

tier4-autoware-public-bot[bot]
Copy link
Contributor

@tier4-autoware-public-bot tier4-autoware-public-bot bot commented Aug 28, 2024 •
edited by maxime-clem
Loading

@maxime-clem @github-actions
feat(words): add driveblocks
be7d3c4 
Signed-off-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@tier4-autoware-public-bot tier4-autoware-public-bot bot enabled auto-merge (squash) August 28, 2024 01:52
@HansRobo
Copy link
Member

Is this company name?
If so, you can add it to organization_name dictionary in https://github.com/tier4/cspell-dicts

@maxime-clem
Copy link
Contributor

Is this company name? If so, you can add it to organization_name dictionary in https://github.com/tier4/cspell-dicts

Thank you I did not realize there was a separate repository for names !
I opened another PR: tier4/cspell-dicts#111

@maxime-clem maxime-clem closed this Sep 2, 2024
auto-merge was automatically disabled September 2, 2024 01:19

Pull request was closed

@maxime-clem maxime-clem deleted the add-word-driveblocks branch September 2, 2024 01:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mitsudome-r mitsudome-r Awaiting requested review from mitsudome-r mitsudome-r is a code owner

@h-ohta h-ohta Awaiting requested review from h-ohta h-ohta is a code owner

@HansRobo HansRobo Awaiting requested review from HansRobo HansRobo is a code owner

Assignees

@maxime-clem maxime-clem

Labels
bot words
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@HansRobo @maxime-clem