kostasalv wrote: Hi @maksfb, I did git push force recently. I noticed the [BOLT] label disappeared. Could it be re-applied manually? Thanks! https://github.com/llvm/llvm-project/pull/140894