Fix the formatting script: do not try to update a GitHub PR without checking for should_update_gh#159276

joker-eph merged 2 commits intollvm:mainllvm/llvm-project:mainfrom

joker-eph:formattingjoker-eph/llvm-project:formattingCopy head branch name to clipboard