[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] [PATCH] Use qemu-project.org domain name
From: |
Stefan Hajnoczi |
Subject: |
Re: [Qemu-devel] [PATCH] Use qemu-project.org domain name |
Date: |
Thu, 10 Oct 2013 17:06:22 +0200 |
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