Re: [PATCH v2] buildman: Use git worktrees instead of git clones when possible

2020-09-05 Thread Simon Glass
On Sat, 5 Sep 2020 at 10:36, Simon Glass wrote: > > On Thu, 3 Sep 2020 at 06:51, Alper Nebi Yasak > wrote: > > > > This patch makes buildman create linked working trees instead of clones > > of the source repository, but keeps updating the older clones of the > > repository that might already ex

Re: [PATCH v2] buildman: Use git worktrees instead of git clones when possible

2020-09-05 Thread Simon Glass
On Sat, 5 Sep 2020 at 10:36, Simon Glass wrote: > > On Thu, 3 Sep 2020 at 06:51, Alper Nebi Yasak > wrote: > > > > This patch makes buildman create linked working trees instead of clones > > of the source repository, but keeps updating the older clones of the > > repository that might already ex

Re: [PATCH v2] buildman: Use git worktrees instead of git clones when possible

2020-09-05 Thread Simon Glass
On Thu, 3 Sep 2020 at 06:51, Alper Nebi Yasak wrote: > > This patch makes buildman create linked working trees instead of clones > of the source repository, but keeps updating the older clones of the > repository that might already exist. These worktrees share "everything > except working director

[PATCH v2] buildman: Use git worktrees instead of git clones when possible

2020-09-03 Thread Alper Nebi Yasak
This patch makes buildman create linked working trees instead of clones of the source repository, but keeps updating the older clones of the repository that might already exist. These worktrees share "everything except working directory specific files such as HEAD, index, etc." with the source repo