<div dir="ltr">Devs,<div><br></div><div style>While working on a project that will convert mapfiles to xmlmapfiles (<a href="https://github.com/10000maps/map2xml">https://github.com/10000maps/map2xml</a>) I have discovered problems in the mapfile.xsd file included with mapserver. The errors are instances where mapfiles that were working are considered invalid by the xsd when run with xmllint. </div>
<div style><br></div><div style>On github I have forked mapserver and made a branch with the changes (<a href="https://github.com/alexwells55/mapserver/compare/mapserver:master...improvedxsd">https://github.com/alexwells55/mapserver/compare/mapserver:master...improvedxsd</a>). </div>
<div style><br></div><div style>I would like to contribute the improvements to the mapserver project, but am unsure how to go about it. Previously I submitted a pull request with only some of the changes.  It got marked as failed, but I couldn't figure out why (I've never used Jenkins before). I closed that request because I thought I might as well submit all the changes to the mapfile.xsd file at once. </div>
<div style><br></div><div style>Should I open a new Pull Request? or email a patch to someone? or something else?</div><div style><br></div><div style>Alex Wells</div></div>