Skip to content

Update a missing github link in dev container guide#906

Merged
SteveMacenski merged 1 commit intoros-navigation:masterfrom
MS06J:fix/update_link_url
Apr 21, 2026
Merged

Update a missing github link in dev container guide#906
SteveMacenski merged 1 commit intoros-navigation:masterfrom
MS06J:fix/update_link_url

Conversation

@MS06J
Copy link
Copy Markdown
Contributor

@MS06J MS06J commented Apr 21, 2026

On dev container doc page, the URL with text The codespace lifecycle leads to a missing page. Replaced it with the new page.


Basic Info

Info Please fill out this column
Ticket(s) this addresses N/A
Does this PR contain AI-generated software? No

Description of contribution in a few bullet points

  • Replaced the old URL

Signed-off-by: wen-shuo hsu <wen-shuo.hsu@idealworks.com>
@MS06J MS06J changed the title Update a github link in dev container guide Update a missing github link in dev container guide Apr 21, 2026
@SteveMacenski SteveMacenski merged commit bcbab4b into ros-navigation:master Apr 21, 2026
6 checks passed
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