Migrate Github Wiki to Media Wiki in 10 Not-So-Easy Steps Dec 3rd, 2015 Available on the Revelry Labs Blog