On Tue, Jul 07, 2020 at 12:42:14PM +0100, Richard Purdie wrote:
...
I suspect this is going to be a growing trend so we're going to have to
adapt our mirroring to cope better with this, perhaps by not removing
any branches/heads, only every updating/changing.
...
What about making the git fetcher default to nobranch instead
of branch=master?
Using a branch name made sense back in the days when projects were not
deleting branches used downstream.
Having a default branch set in the git fetcher made sense back in the
days when there was agreement on the name of a development branch.
A branch in SRC_URI is just an optional automatic check that the commit
used is on that branch, it is not necessary.
Cheers,
Richard
cu
Adrian
BTW: In most cases a better check would be implementing #13303.