On 1/19/23 7:01 PM, mpodhrad...@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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
