Re: [edk2-devel] [PATCH 1/1] BaseTools: add repo name option to SetupGit.py

2020-05-07 Thread Philippe Mathieu-Daudé
On 5/1/20 10:00 PM, Rebecca Cran wrote: Allow users who didn't clone one of the TianoCore repos from a canonical URL to specify the name of the repo (edk2, edk2-platforms or edk2-non-osi) when running SetupGit.py to allow them to configure their repo properly. The new option is: -n repo, --n

Re: [edk2-devel] [PATCH 1/1] BaseTools: add repo name option to SetupGit.py

2020-05-06 Thread Bob Feng
] [PATCH 1/1] BaseTools: add repo name option to SetupGit.py On 05/06/20 12:31, Leif Lindholm wrote: > On Tue, May 05, 2020 at 17:40:35 +0200, Laszlo Ersek wrote: >> CC Leif >> >> On 05/01/20 22:00, Rebecca Cran wrote: >>> Allow users who didn't clone one of the TianoC

Re: [edk2-devel] [PATCH 1/1] BaseTools: add repo name option to SetupGit.py

2020-05-06 Thread Laszlo Ersek
On 05/06/20 12:31, Leif Lindholm wrote: > On Tue, May 05, 2020 at 17:40:35 +0200, Laszlo Ersek wrote: >> CC Leif >> >> On 05/01/20 22:00, Rebecca Cran wrote: >>> Allow users who didn't clone one of the TianoCore repos from a >>> canonical URL to specify the name of the repo (edk2, edk2-platforms >>

Re: [edk2-devel] [PATCH 1/1] BaseTools: add repo name option to SetupGit.py

2020-05-06 Thread Leif Lindholm
On Tue, May 05, 2020 at 17:40:35 +0200, Laszlo Ersek wrote: > CC Leif > > On 05/01/20 22:00, Rebecca Cran wrote: > > Allow users who didn't clone one of the TianoCore repos from a > > canonical URL to specify the name of the repo (edk2, edk2-platforms > > or edk2-non-osi) when running SetupGit.py

Re: [edk2-devel] [PATCH 1/1] BaseTools: add repo name option to SetupGit.py

2020-05-05 Thread Laszlo Ersek
CC Leif On 05/01/20 22:00, Rebecca Cran wrote: > Allow users who didn't clone one of the TianoCore repos from a > canonical URL to specify the name of the repo (edk2, edk2-platforms > or edk2-non-osi) when running SetupGit.py to allow them to configure > their repo properly. > > The new option is

[edk2-devel] [PATCH 1/1] BaseTools: add repo name option to SetupGit.py

2020-05-01 Thread Rebecca Cran
Allow users who didn't clone one of the TianoCore repos from a canonical URL to specify the name of the repo (edk2, edk2-platforms or edk2-non-osi) when running SetupGit.py to allow them to configure their repo properly. The new option is: -n repo, --name repo set the repo name to configure fo