Re: [Qemu-devel] [PATCH] Use qemu-project.org domain name

[Stefan Hajnoczi]

On Thu, Oct 10, 2013 at 2:52 PM, Peter Maydell <address@hidden> wrote:
> On 10 October 2013 18:39, Stefan Hajnoczi <address@hidden> wrote:
>> --- a/.gitmodules
>> +++ b/.gitmodules
>> @@ -1,27 +1,27 @@
>>  [submodule "roms/vgabios"]
>>         path = roms/vgabios
>> -       url = git://git.qemu.org/vgabios.git/
>> +       url = git://git.qemu-project.org/vgabios.git/
>
> I agree we need to make this change -- but do you know if
> an existing checkout with the submodule checked out will
> automatically do the Right Thing on git update or if manual
> intervention is necessary ?

You are right, git submodule update will silently complete but it does
not change the actual repo URLs in the .git/config files.

The submodule .git/config files can be fixed up manually:
for f in $(find .git/modules -name config)
do
    sed -i 's/qemu\.org/qemu-project.org/g' "$f"
done

Even safer would be removing the submodules and reiniting.

Stefan