[mapserver-dev] Pull requests to master or branch-7-2?

[Seth G]

Hi devs,

Should new pull requests be made to master or the 7-2 branch?
I believe it should be on the 7-2 branch according to https://github.com/mapserver/mapserver/wiki/WorkingWithGit and then there is a script that applies these to master?
There are a few changes in the 7-2 branch that aren't in master, so I'm not sure how/when this process takes place.

Regards,

Seth

--
web:http://geographika.co.uk
twitter: @geographika