-
-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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
Redis integration #3018 #3100
base: master
Are you sure you want to change the base?
Redis integration #3018 #3100
Conversation
|
Please verify the committer name, email, and GitHub username association are all correct and match CLA records. |
@washerath Thank you for your contribution! A few things to notice:
|
Please verify the committer name, email, and GitHub username association are all correct and match CLA records. |
@washerath Just checking if you would like to proceed with this PR. Any help needed? |
@li-boxuan Yes, I would like to contribute. As I see some checks have failed on my commit. I'll try to resolve them and try again. |
3928758
to
50d63d4
Compare
…/janusgraph into feature/redis-integration Signed-off-by: Wasantha Herath <[email protected]> Signed-off-by: Wasantha Herath <[email protected]>
50d63d4
to
5b224c4
Compare
@washerath Is it correct that this PR is still open or was it superseded by your new PR: #4180? Because in that case, we could close this one. |
#3018
#3018