Add copy paste text for closing down the Github issue tracker
@sytses I think we talked about closing down the Issue tracker on Github. A first step can be closing all the older issues and steering people towards the gitlab.com issue tracker.
What do you think about this text?