GitHub admins: we are looking to move http://ms-ogc-workshop.maptools.org/ from CVS (!) to GitHub. We'd like this to be part of the MapServer GitHub org (under mapserver/ms-ogc-workshop). Any comments/concerns? I can provide usernames of team members for this repo is this makes sense. Thanks ..Tom