Hi Patrick, Martin,

The coreboot.org mirror of the arm-trusted-firmware repo
(https://review.coreboot.org/admin/repos/arm-trusted-firmware) seems
to be half a year out of date. According to the description (although
that may be out of date) it's still syncing from the old GitHub
location (https://github.com/ARM-software/arm-trusted-firmware.git).
The Trusted Firmware project switched a while ago to their own hosting
solution and I probably forgot to let you know. The new upstream
repository this should sync from is at:
https://review.trustedfirmware.org/TF-A/trusted-firmware-a

Then again, it looks like the GitHub location is still kept up to date
as a read-only mirror
(https://github.com/ARM-software/arm-trusted-firmware/commits/master),
so maybe this isn't the real source of the problem? Anyway, can you
please take a look and figure out how to fix the syncing? (Or is this
supposed to be done manually somehow?)

Thanks,
Julius