Skip to content
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.

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

Support gz- repos on source_changelog script #741

Merged
merged 1 commit into from
Jun 17, 2022

Conversation

chapulina
Copy link
Contributor

@chapulina chapulina commented Jun 13, 2022

These are needed if you clone from the new gz URLs.

I tried to keep compatibility with old ign clones, but I haven't fully tested this yet.

Works with old ign- clones too, used it in

Also used with

Signed-off-by: Louise Poubel <louise@openrobotics.org>
@chapulina chapulina mentioned this pull request Jun 15, 2022
7 tasks
@chapulina chapulina marked this pull request as ready for review June 15, 2022 17:25
@chapulina chapulina requested a review from j-rivero as a code owner June 15, 2022 17:25
Copy link
Contributor Author

@chapulina chapulina left a comment

Choose a reason for hiding this comment

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

I've been using this script successfully for various releases. Merging!

@chapulina chapulina merged commit 266d108 into master Jun 17, 2022
@chapulina chapulina deleted the chapulina/gz_changelog branch June 17, 2022 16:17
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.

1 participant