Skip to content
This repository has been archived by the owner on Jul 22, 2021. It is now read-only.

Rename all occurrences of Magni and MiR100 to descriptive names #115

Merged
merged 3 commits into from
Aug 24, 2020
Merged

Rename all occurrences of Magni and MiR100 to descriptive names #115

merged 3 commits into from
Aug 24, 2020

Conversation

Kevinskwk
Copy link
Collaborator

Renamed Magni to TinyRobot, MiR100 to DeliveryRobot

@matiasbavera matiasbavera mentioned this pull request Aug 20, 2020
Merged
aaronchongth
aaronchongth suggested changes Aug 21, 2020
View reviewed changes
Copy link
Collaborator

@aaronchongth aaronchongth left a comment

Choose a reason for hiding this comment

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

Thanks for making the changes! Could you also make the name changes in the CHANGELOG.rst files?

@matiasbavera matiasbavera mentioned this pull request Aug 21, 2020
Merged
aaronchongth
aaronchongth approved these changes Aug 22, 2020
View reviewed changes
Copy link
Collaborator

@aaronchongth aaronchongth left a comment

Choose a reason for hiding this comment

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

Thanks for making all the changes, LGTM!

@Kevinskwk Kevinskwk merged commit 1314d85 into master Aug 24, 2020
@Kevinskwk Kevinskwk deleted the feature/rename_branded_robots branch August 24, 2020 02:25
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@aaronchongth aaronchongth aaronchongth approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@Kevinskwk @aaronchongth