The Linux Mint developers have already forked Gnome Shell (and a few other things), so I wouldn't be too surprised if they did the same with Mir, although it would probably be a much more difficult job. Or maybe they will use Wayland instead. Or re-base on Debian, as you say. They have options.