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

Improve Renovate version handling #530

Merged
merged 1 commit into from
Dec 22, 2023
Merged

Improve Renovate version handling #530

merged 1 commit into from
Dec 22, 2023

Conversation

cpsauer
Copy link
Collaborator

@cpsauer cpsauer commented Dec 21, 2023

Goal is to fix issue where boost- prefix is stripped from URL on update. (See mistake in #529)

The unrelated build issues #528 (comment) will currently block merging-- @nelhage, if you have the ability to bypass checks and merge this in the meantime, that'd be awesome for being able to try it out in parallel.

Thanks--and sorry I didn't get this one right the first time around. May take another iteration; some of these Renovate configurations are a little complicated, but at least it saves polling.

-Chris

Goal is to fix issue where boost- prefix is stripped from URL.
(See mistake in #529)
@nelhage nelhage merged commit a1f5ed4 into master Dec 22, 2023
0 of 2 checks passed
@nelhage nelhage deleted the boost-renovate-version branch December 22, 2023 12:49
@nelhage
Copy link
Owner

nelhage commented Dec 22, 2023

Alright, forced this one through. Thanks for keeping up with these!

@cpsauer
Copy link
Collaborator Author

cpsauer commented Dec 22, 2023

Thanks so much! My pleasure--super squeezed on time rn, but trying to quickly knock out the things where I've got comparative advantage.

@cpsauer
Copy link
Collaborator Author

cpsauer commented Dec 23, 2023

More importantly, wishing you very happy holidays, Nelson :)

@nelhage
Copy link
Owner

nelhage commented Dec 23, 2023

Happy Holidays to you! Hope you get some rest and relaxation over the holiday season.

@cpsauer
Copy link
Collaborator Author

cpsauer commented Dec 23, 2023

You too, man.
(Heh, you can see, I'm really on that track so far)

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