[mapserver-dev] GitHub bot to close inactive tickets

[Even Rouault]

On vendredi 31 mai 2019 08:03:28 CEST Jeff McKenna wrote:
> I tried to install that backporting app during the sprint for the
> project, let me know if that worked.

I see it in the available GH apps in
https://github.com/mapserver/mapserver/settings/installations
so that should work

I've just created a "backport branch-7-4" label that can be set on pull 
requests done against master that need to be backported to branch-7-4.
Once the PR is merged into master, the app will try to create a pull request 
against branch-7-4 by cherry-picking the commits of the initial pull request. 
If there's a merge conflict, an email will be sent to warn about the 
impossibility and the backport must be done manually.

Even

-- 
Spatialys - Geospatial professional services
http://www.spatialys.com