Sourceforge to github migration

Hello again,

We've successfully migrated MyGUI to github and you can find it here:
https://github.com/MyGUI/mygui

I suggest that you grab an account on github and post (or PM/email me) your name/nick if you wish to claim your contributions. This isn't required, but I wish to attribute contributions to everyone who has commited code to MyGUI.

Here is the list, if you're on it... please yell at me.

altren
my_name
Numsgil
deniskoronchik
pentachron
sabrog
sjaako
Ozzy__
Seregvan
theven
Five_stars
cppbool
rorthomas
igorustinoff
spire42

Altern, my_name and scrawl will be the account owners of the MyGUI organization. The reason for this is purely cosmetic, since we are with more than 1 developer.

My nickname on github is Altren.

My name on GitHub is Spire42.

Migration is complete. Please feel free to "fork", development and start sending pull requests!

https://github.com/MyGUI/mygui

The above repo was completed with the help of github's import tool. It required that /trunk /tag /branch exist and since those only came into existence in r563 in SVN, those first commits are 'missing' from the commit history. I did a custom export/import with my own tools to get r1 to r562 and have it up here:
https://github.com/MyGUI/mygui-historical

I did my best to track down everyone for their correct name and email to give attribution. There are still a few "at large" that I haven't been able to track down. If anyone has any information about the following names, please let me know.

mygui-historical:
Author: sabrog <sabrog@10a74664-c72d-0410-8fa9-ef67a5ae4784> 1 commit: added MyGUI logo in Scalable Vector Graphics (svg) format

mygui:
Author: igorustinoff <igorustinoff@10a74664-c72d-0410-8fa9-ef67a5ae4784> 12 commits: "DirectX11 Rendering"
Author: Ozzy__ <Ozzy__@10a74664-c72d-0410-8fa9-ef67a5ae4784> 8 commits: "MyGUI Editor"
Author: Seregvan <Seregvan@10a74664-c72d-0410-8fa9-ef67a5ae4784> 7 commits: "MyGUI Editor"

It seems to me that Ozzy and Seregvan did work on MyGUI Editor that was later split out as a separate project here:
http://sourceforge.net/projects/my-gui-editor/

Does anyone know if this is still active? It was last touched on 2010-08-02.

I wonder what should be done to old repository.
First of all there should be commit, saying that repository is moved.
I seen some projects was deleting all files in trunk and replacing them with some REPOSITORY_MOVED.txt file with all details inside. Should I do this as well?

On sourceforge, there is an option that says the project is moved. I've used this with WIldMIDI: https://sourceforge.net/projects/wildmidi/


As of 2014-05-30, this project may now be found at https://github.com/Mindwerks/wildmidi.


What we can do is take all your release binaries and push them over to github.

As for SF page itself, up to you... leave it as is, but with 'we're moved' message or start disabling parts or both.