[Playerstage-developers] Stage moved to GitHub

[Richard V. <va...@sf...>]

Folks,

Today I have moved the Stage development tree to GitHub after nearly a
decade at SourceForge (SF). SF has served us well for $0 over the
years, and I am grateful to them for their services. However, in the
last couple of years, SF performance has deteriorated and usability
has drifted to the weird. Meanwhile, GitHub has developed some great
features that I think could help the development of Stage in future.
The reasons for moving are entirely technical and do not indicate any
kind of break-up in the Player/Stage community. Some of the key Player
Project developers met recently and discussed this move, and we agreed
it would be an interesting experiment. Stage is an ideal sub-project
to make this first move, as it is the smallest of the P/S/G family,
under active development, and is the root of various forks.

The move to GitHub used their SVN import tool, and took about 15 minutes.

So, from now on (SVN revision 8693), get your Stage sourcecode from here:

https://rt...@gi.../rtv/Stage.git
git://github.com/rtv/Stage.git

I will NOT disable the SF-based SVN Stage repository, partly since I
can't figure out how to do it given SF's usability issues, but mostly
since I don't want to break anyone's existing workflow. But to the
extent that my releases are the 'official' Stage, please work from
GitHib from now on. In the next few days I will update the Stage web
pages to reflect this change.

As always your comments, suggestions, patches and now git pull
requests are most welcome.

best,
Richard/ (rtv)

-- 

Richard Vaughan
Autonomy Lab / Computing Science / Simon Fraser University