[mosh-devel] Mosh repository URL moved (but existing links/clones will still work)

[Keith Winstein]

Hello Mosh users and developers,

On the heels of the successful 1.2.5 release, just an FYI that the
Mosh repo has moved to: https://github.com/mobile-shell/mosh

This has allowed us to turn on Travis CI for continuous
integration/testing (without giving Travis full access to my GitHub
account).

All existing links and local clones should continue to work fine and
will be transparently redirected, but please let me know if anybody
has trouble.

Cheers,
Keith