Skip to content

Use prerelease repos for Jetty#99

Merged
scpeters merged 1 commit intomasterfrom
scpeters/jetty_prerelease
Aug 28, 2025
Merged

Use prerelease repos for Jetty#99
scpeters merged 1 commit intomasterfrom
scpeters/jetty_prerelease

Conversation

@scpeters
Copy link
Contributor

Needed for gazebosim/gz-jetty#58.

Signed-off-by: Steve Peters <scpeters@openrobotics.org>
@scpeters scpeters requested review from azeey and iche033 August 27, 2025 16:05
@scpeters
Copy link
Contributor Author

per discussion with @azeey, we didn't do this last year and don't want to do it during tutorial party, so I will close this

@scpeters scpeters closed this Aug 27, 2025
@scpeters
Copy link
Contributor Author

reopening, since I think we actually did do this last year around this time in #88

@scpeters scpeters reopened this Aug 27, 2025
@scpeters scpeters merged commit 96040e6 into master Aug 28, 2025
3 checks passed
@scpeters scpeters deleted the scpeters/jetty_prerelease branch August 28, 2025 16:46
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.

3 participants