GitHub - sirvio/docs: Source repository for the mapserver documentation site. Please submit pull requests on branch-7-0 , not master