Thread history

Do it! Best path would be if your Github repository is the main one. You can clone mine and create a new repo on Github to push it to. Possibly you'll need to remove my repo as a remote before pushing. When you're at that stage I'll remove my repository and fork yours instead.

(You won't be able to communicate with me further in this thread since I won't be able to read your replies easily. I suggest you move the discussion to the wiki page.)