kgamma -> kgamma5

[Harald Sitter]

On Fri, Aug 7, 2015 at 5:20 PM, Jonathan Riddell <jr at jriddell.org> wrote:
> ssh in and mv on the server
>
> is that the wrong way to do it?

I really think in this instance it should have been a copy. They are
not the same thing anymore. There's a new source, so there should be a
new repo IMO.

At any rate. when you *move* you need to symlink the old location to
the new location as well, otherwise people are going to complain about
broken git remotes.

HS