Re: [poll] Moving all RFCs in a separate repo

[miran]

If that's ok with the others, I would like to delete the rfcs repo, since that 
is the only way to delete "my" 88 issues (these have ruined my Github 
profile/dashboard).

After that, we can open a new, clean, rfcs repo.