Move to GitHub?

[shevegen]

Are there any plans to move to GitHub? Might make the project a bit more active perhaps (no idea, I have just visited since
my inactivity of a few years).

[geever]

Are there any plans to move to GitHub? Might make the project a bit more active perhaps (no idea, I have just visited since
my inactivity of a few years).

We have a github mirror of the master branch, but I'm not the admin of it so it is not that simple. Also, out repository is quite big - with all the artwork in it - which may not play well with Githubs policy.

-geever