Skip to content

Conversation

monkey92t
Copy link
Collaborator

keep v9 branch and master branch in sync

@vmihailenco
Copy link
Collaborator

vmihailenco commented May 13, 2021

@monkey92t you should have perms to merge PRs, right? If so - feel free to do so after PR is approved.

@monkey92t
Copy link
Collaborator Author

No, I don’t have any permissions

@vmihailenco
Copy link
Collaborator

@monkey92t strange - I've sent you an invite again. Please check your email.

@monkey92t
Copy link
Collaborator Author

OK, thanks!

@monkey92t monkey92t merged commit 8dc84ab into redis:v9 May 13, 2021
@monkey92t monkey92t deleted the v9 branch May 14, 2021 03:01
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.

4 participants