[Feature request]: Add a map name field to the MapRegionUpdate message

Open
#52 0 comments 0 reactions 0 assignees View on GitHub

Maintainers usually reply within 15 days

Nobody has claimed this yet.

Assessment

Difficulty
3/5
Estimated time
1-2 days
Newbie friendliness
68/100
Issue type
Feature
Clarity
Mostly clear
Activity status
Active
Tech stack
python
Domain
api

Research direction

Locate the schema or message definition for MapRegionUpdate and check how related message changes are tested. Confirm whether issue #5 already covers this request; done means the message exposes a map_name field, unless that issue supersedes this work.

Written by the indexing model from the issue text.

Description

enhancement
Before proceeding, is there an existing issue or discussion for this?
Description

It is not uncommon for us to deal with multiple maps (for instance, in a multi-level deployment). Currently the MapRegionUpdate message does not define a map_name. Note that if we resolve #5, we resolve this ticket.

Implementation Considerations

No response

Alternatives

No response

Additional information

No response

Dominant language
Python
Stars
10
Forks
9
Avg merge
3h 21m
Merged PRs (30d)
1

Getting set up

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from open-rmf/next_gen_prototype

All issues in open-rmf/next_gen_prototype

Similar issues

More Python issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.