>>>>> "Andrew" == Andrew Pinski <pins...@gmail.com> writes:
Andrew> I don't know how to update the script server side after it is Andrew> committed in git. the checker script is located in git though: Thanks, I didn't realize it was there. Could you check in your patch? IMO it seems obvious. Tom
