GitHub organisation rename

[qreeves]

Just a quick announcement to let everyone know that we have renamed the GitHub organisation for the project from red-eclipse to redeclipse. Previous @ mentions and links to the old profile will no longer work, and repository links will redirect until there's a conflict. You should update your links and repository remotes now to be safe.

Here's a quick rundown of what you'll need to do to a repository:

git remote -vv

origin https://github.com/red-eclipse/base.git (fetch)
origin https://github.com/red-eclipse/base.git (push)

Here, we want to replace red-eclipse with redeclipse, so:

git remote set-url origin https://github.com/redeclipse/base.git

If the repository has submodules (like base does), I've updated the .gitmodules to point to the new location already, so all you have to do is sync them. First, make sure to pull in the most recent changes:

git pull

Then sync the submodules:

git submodule sync