Skip to content

packages.apt: use jetty package names #693

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 3 commits into
base: gz-common7
Choose a base branch
from
Open

packages.apt: use jetty package names #693

wants to merge 3 commits into from

Conversation

scpeters
Copy link
Member

@scpeters scpeters commented Jun 25, 2025 •
edited
Loading

🎉 New feature

Prototype of an alternative approach to gazebo-tooling/release-tools#1326.

Summary

Testing gazebo-release/gz-math9-release#5

Test it

Verify that Ubuntu CI passes

Requires:

Checklist

  • Signed all commits for DCO
  • Added tests
  • Added example and/or tutorial
  • Updated documentation (as needed)
  • Updated migration guide (as needed)
  • Consider updating Python bindings (if the library has them)
  • codecheck passed (See contributing)
  • All tests passed (See test coverage)
  • While waiting for a review on your PR, please help review another open pull request to support the maintainers
  • Was GenAI used to generate this PR? If so, make sure to add "Generated-by" to your commits. (See this policy for more info.)

Generated-by: Remove this if GenAI was not used.

Note to maintainers: Remember to use Squash-Merge and edit the commit message to match the pull request summary while retaining Signed-off-by and Generated-by messages.

@scpeters
packages.apt: test jetty package name
8068da1 
Signed-off-by: Steve Peters <scpeters@openrobotics.org>
@github-actions github-actions bot added the 🪵 jetty Gazebo Jetty label Jun 25, 2025
@scpeters scpeters mentioned this pull request Jun 25, 2025
Open
16 tasks
@scpeters
Update packages.apt
201c0f6 
Signed-off-by: Steve Peters <scpeters@openrobotics.org>
@scpeters scpeters changed the title packages.apt: test jetty package name packages.apt: use jetty package names Jul 7, 2025
@scpeters scpeters marked this pull request as ready for review July 7, 2025 21:39
@scpeters scpeters requested a review from marcoag as a code owner July 7, 2025 21:39
@scpeters scpeters requested review from azeey and j-rivero July 7, 2025 21:39
@github-project-automation github-project-automation bot moved this from Inbox to In review in Core development Jul 7, 2025
@iche033 iche033 mentioned this pull request Aug 19, 2025
Merged
10 tasks
@azeey azeey changed the base branch from main to gz-common7 August 22, 2025 02:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@ahcorde ahcorde ahcorde approved these changes

@marcoag marcoag Awaiting requested review from marcoag marcoag is a code owner

@azeey azeey Awaiting requested review from azeey

@j-rivero j-rivero Awaiting requested review from j-rivero

Assignees

No one assigned

Labels

🪵 jetty Gazebo Jetty

Projects

Core development
Status: In review

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@scpeters @ahcorde @azeey