Skip to content

chore: network utilities available in rosdistro - #7301

Merged
ruben-arts merged 1 commit into
prefix-dev:mainfrom
nobleo:feature/python3-dbus
Oct 19, 2026
Merged

ruben-arts merged 1 commit into
prefix-dev:mainfrom
nobleo:feature/python3-dbus

Conversation

@Timple

@Timple Timple commented Oct 19, 2026 •

Copy link
Copy Markdown
Contributor

Description

Fixes non-found keys in package.xml

How Has This Been Tested?

AI Disclosure

  • This PR contains AI-generated content.
    • I have tested any AI-generated content in my PR.
    • I take responsibility for any AI-generated content in my PR.

Tools: {e.g., Claude, Codex, GitHub Copilot, ChatGPT, etc.}

Checklist:

  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • I have added sufficient tests to cover my changes.
  • I have verified that changes that would impact the JSON schema have been made in schema/model.py.

@Timple Timple changed the title Network utilities available in rosdistro chore: network utilities available in rosdistro Oct 19, 2026

@ruben-arts ruben-arts left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Thanks

@ruben-arts
ruben-arts merged commit 82cd8b1 into prefix-dev:main Oct 19, 2026
34 of 40 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