GitHub is now our main repository, we re-open the issue queue there for patches merge requests, while d.o has a code mirror status from now on.