Rename arm's git repository to seth

Hi Sebastian, I'd like to rename arm's git repositories...

  • arm.git => seth.git
  • atagar/arm.git => user/atagar/seth.git

I'm not sure if we can do a symlink of 'arm.git => seth.git' but can't say I'm overly concerned about it (folks can update their remote - this happens once in a blue moon and isn't a big whoop).

Thanks! -Damian

PS. Not sure if we can rename the trac component at the same time. If you'd rather have a separate ticket for that then happy to oblige.