[mapserver-dev] merge strategy between master and stable branch

[Tom Kralidis]

Hi all: I recently pushed some fixes to branch-7-2 and asked whether/how merging to master is being done.  See Jeff M's comments at [1] and irc convo at [2].

Is the expectation that the release manager will merge branch fixes into master at some point?  Is there a process to do so?  As a committer I am just following through to ensure my fixes are both in stable branch and master.

Sorry if this is already discussed / documented (if yes, is there a link somewhere)?

Thanks

..Tom

[1] https://github.com/mapserver/mapserver/pull/5684#issuecomment-431430953

[2] http://irclogs.geoapt.com/mapserver/%23mapserver.2018-10-22.log
>