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.