-
Notifications
You must be signed in to change notification settings - Fork 45
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
docker: switch to valkey #7515
docker: switch to valkey #7515
Conversation
Fixed up the commit message prefix. |
Hm, seems like there is some kind of permission error:
Maybe this only happens for external contributors? |
Yup, seems like it. I'll have a look |
The build is pretty darn long, so we're using ghcr to cache build artifacts across commits on development branches. |
We could probably either (1) ignore permission errors for PRs or (2) pull & push to the fork's prefix instead of the hardcoded one. |
We can't really ignore permission errors, as further steps download the built artifacts from the build stage. So yeah either we push artifacts to the fork's registry, or use |
I'll have a go at making it work for forks |
@emersion can you rebase and try again? |
Thanks! 2e929c8 looks good to me :) |
|
seems like build artifacts is the only way: https://docs.docker.com/build/ci/github-actions/share-image-jobs/ |
That's weird, I can push locally with a
Probably |
Yeah, and this circles back to your |
Well we can't really do that without giving up the right of anyone messing up with releases. Github's own docs describe this is a bad idea. It would be a lot easier though! |
Ah, of course… Got the "target" repository mixed up with the "head"/"base" when reading the docs… |
I've given you write permissions on the repository, you need to accept them though (and you should also have an org membership invite) |
Thanks! (It would still be super nice to fix CI for external contributors!) |
Yeah leaving it broken isn't really an option, I'll keep working on it |
Recently-ish redis has switched to another license which isn't open-source. An open-source fork named valkey has been established under the Linux Foundation umbrella: https://www.linuxfoundation.org/press/linux-foundation-launches-open-source-valkey-community See also this LWN article: https://lwn.net/Articles/966631/ valkey is a drop-in replacement for redis. Switch to valkey to avoid depending on proprietary software.
This should be ready now that the CI has been fixed. |
Recently-ish redis has switched to another license which isn't open-source. An open-source fork named valkey has been established under the Linux Foundation umbrella:
https://www.linuxfoundation.org/press/linux-foundation-launches-open-source-valkey-community
See also this LWN article:
https://lwn.net/Articles/966631/
valkey is a drop-in replacement for redis. Switch to valkey to avoid depending on proprietary software.
(Note, I've only done some basic testing to make sure this works as expected, by playing with the UI a bit.)