Script to migrate media wiki to github wiki