Re: java-libglom is now hosted on git.gnome.org

[Ben Konrath <ben bagu org>]

On Tue, Nov 29, 2011 at 6:53 PM, Michael Hasselmann
<michael taschenorakel de> wrote:
> On Tue, 2011-11-29 at 18:08 +0100, Ben Konrath wrote:
> > http://git.gnome.org/browse/java-libglom/
> >
> > Murray: Can you verify that everything looks good? I'll delete the
> > repository from gitorious once I get the OK from you.
>
> Why delete git repos?

Because the complete repository has been imported into the gnome
repository and I want people to use the gnome.org repository.

> Just commit a final message "this repo is no
> longer in use, please use: …"
>
> It also helps to sabotage the config stuff a bit so that someone who
> accidentally tries to build from it gets a warning.

Just deleting will get the same effect, right? I can understand
keeping an old repo around when a lot of people need to transition
work over to the new location. But I doubt deleting the java-libglom
repository from gitorious will affect anybody.

Ben