oranagra

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).