[mapserver-dev] GitHub bot to close inactive tickets

[Seth G]

Hi all,

I just noticed this bot popped up on an OpenLayers ticket I was watching - https://github.com/marketplace/stale
(example https://github.com/openlayers/openlayers/issues/2700#event-2376150702). 

We have a Python script to close tickets after a couple of years at https://github.com/mapserver/mapserver/blob/master/github_issue_no_activity_closer.py

Seems like setting up a bot would be an easier way to handle this.

Any thoughts?

Seth

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