[GHC] #16015: git notes logic breaks CircleCI validation of pull requests