Move to GitHub

[xoft]

Or we could delete it from the main repo. The point is that there are two places where the code resides and the history diverges for them quite often.

Maybe it's even possible to configure git in such a way that the Core repo can be cloned locally into the correct folder inside the main repo and still be ignored by the main repo and committed to in the Core repo. This might just work - add the Plugins folder to .gitignore and clone Core there locally. This will enable me to make changes to the Core while having the newest server around it.

If this works, we can then split off all (or most) of the plugins.