It's actually fine to use MIT code and publish it under GPL, or to switch from MIT to GPL. You can still do that today on the repo, btw. It's the other direction that is thorny. Just fyi