Re: [Emutos-devel] Move EmuTOS sources to GitHub

[Vincent R. <vin...@fr...>]

On 23/02/2017 at 22:26, Vincent Rivière wrote:
> I'm moving EmuTOS sources to GitHub *right now*.

Done. Pushes are allowed again, but see instructions below.

EmuTOS Git repository is now there:
https://github.com/emutos/emutos

I have emptied the old Git repository on SourceForge, and I placed a 
redirection message there. Because of SourceForge sudden whim, this message 
doesn't appear anymore, but I'm sure it will reappear quickly.

Instructions. Please read carefully.

1) For people who had cloned the SourceForge repository:
cd your_local_repository

# For people who have SSH keys in their GitHub account
git remote set-url origin gi...@gi...:emutos/emutos.git

# For any other people (even without GitHub account)
git remote set-url origin https://github.com/emutos/emutos.git

Then you can do "git pull --rebase" again, etc.

2) When we moved from CVS to Git, I used the SourceForge email addresses of 
people in all old commits, and I advised you to continue with that address. 
Now that doesn't make any sense anymore, so you can use your preferred email 
address in your future commits.

Example:
git config user.email vin...@fr...

To be notified of what happens on GitHub EmuTOS repository, go to GitHub 
with the above link, then look at top/left. I suggest you to click on the 
following buttons:
- Watch > Watching, to be notified of commits
- Start, to show your interest in EmuTOS :-)

And... no more to do. This was actually a small change.
Then we could use new GitHub features progressively.

-- 
Vincent Rivière