Finish up migration of SF.net tickets to GitHub.

[ehrenfeu]

I'm not sure if all tickets on SourceForge have been migrated to GitHub yet.

Every ticket on the SF.net issue tracker should:

• have a link to the corresponding (new) one on GitHub
• be closed on SF.net then

Who can close tickets on the SF.net tracker? Only Olaf? Markus?

[Skippern]

Each of the tickets on SF should be closed with a link to the corresponding ticket on GitHub

This ticket should be closed when all tickets on SF have been closed.

[ehrenfeu]

Hum, how's that different from my suggestion?

[Skippern]

Different? No
Different formulation? Yes
Maybe clearer? I don't know.

[ehrenfeu]

😎

[malcolmh]

With one exception, all the open tickets are feature requests, some dating back to 2009. Some of these requests may no longer be relevant to the current infrastructure, or the requester may no longer be interested. Therefore, before migrating all to Github, we should add a comment to each open SF ticket asking for a confirmation that the feature is still wanted. Only if we get at least one positive response should we then migrate the ticket to GH & close the SF ticket.