21 Jan
2023
21 Jan
'23
12:20 p.m.
On 1/19/23 7:01 PM, mpodhradsky@galois.com wrote:
The note mentions that an automatic revert of the specified commit no longer works.
The automatic revert fails because the default renameLimit is too low in git. If you run: git config merge.renameLimit 999999 git revert 995eab8b5b580b67394312b1621c60a71042cd18 the revert and subsequent build of u-boot succeeds. -- Edward Sandberg Research Engineer Galois, Inc