Skip to content

Instantly share code, notes, and snippets.

@oranagra
Last active June 30, 2020 15:56
Show Gist options
  • Save oranagra/123e5ceb46d203494c3a02abdf4b2a96 to your computer and use it in GitHub Desktop.
Save oranagra/123e5ceb46d203494c3a02abdf4b2a96 to your computer and use it in GitHub Desktop.
Request about github redis org
Hello,
Not sure you saw the news:
http://antirez.com/news/133
https://redis.io/topics/governance
We (the forming Redis core team) would like to move the Redis repo into http://github.com/orgs/redis.
Before doing that we would like make some cleanup in the organization members and permissions.
We saw you are currently set as the org owner and wanted to know if you would be ok with demoting yourself to a normal member (keeping whatever permissions you have to the existing repos).
Please respond shortly, we would like to quickly put the repo in it's final place so that we're not confusing the community too much as to where pull requests and issues should be submitted.
Thank you
Oran, Yossi, Itamar - [email protected]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment