Transition to github

Documentation

doxygen

DH: We could integrate with Sphinx: breathe.

Sphinx

DH: I would go for Read-The-Docs.

Wiki

DH: Should we go with the github wiki or a media wiki setup?

JG: I like the integrated wiki, not sure porting would be a hassle. I found some scipts here and here.

Code

DH: Simple merge.

Tickets

DH: We could try: https://github.com/ttencate/sf2github

JG: There are only 11 open tickets. Manual transition would allow us to re-evaluate them. Or is there a preference for migrating also closed tickets?

Automated tests

DH: Any suggestions?