Skip to content

Fix review comments from copilot bot on PR #7161 (Area Routing)#7378

Closed
Copilot wants to merge 3 commits intomasterfrom
copilot/apply-review-comments-7161
Closed

Fix review comments from copilot bot on PR #7161 (Area Routing)#7378
Copilot wants to merge 3 commits intomasterfrom
copilot/apply-review-comments-7161

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Feb 22, 2026

Addresses the 5 comments from the copilot-pull-request-reviewer on the Area Routing PR (#7161), including one logic bug and four typos.

Changes

  • Bug fixinclude/extractor/extraction_relation.hpp: Comparison operator used m.type() < m.type() (self-comparison, always false); corrected to m.type() < o.type()
  • Typos — Fixed in comments/docs:
    • "alogorithm""algorithm" (src/extractor/area/area_manager.cpp)
    • "segmenmt""segment" (include/extractor/area/util.hpp)
    • "processsing""processing" (profiles/foot_area.lua)
    • "neccessary""necessary" (features/bicycle/alley.feature)

💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

Copilot AI and others added 2 commits February 22, 2026 20:48
Co-authored-by: DennisOSRM <1067895+DennisOSRM@users.noreply.github.com>
Co-authored-by: DennisOSRM <1067895+DennisOSRM@users.noreply.github.com>
Copilot AI changed the title [WIP] Apply changes based on review comments for PR #7161 Fix review comments from copilot bot on PR #7161 (Area Routing) Feb 22, 2026
Copilot AI requested a review from DennisOSRM February 22, 2026 20:50
@DennisOSRM DennisOSRM closed this Feb 22, 2026
@DennisOSRM DennisOSRM deleted the copilot/apply-review-comments-7161 branch February 22, 2026 20:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants