CI targets should not match substrings ("the" should not match "category_theory")

coq / bot

A (Coq Development Team) bot written in OCaml

MIT License

23 stars 14 forks source link

CI targets should not match substrings ("the" should not match "category_theory") #192

Open JasonGross opened 2 years ago

JasonGross commented 2 years ago

https://github.com/coq/coq/pull/14748#issuecomment-1003116849

Zimmi48 commented 2 years ago

But not providing the ci- prefix is OK.

JasonGross commented 2 years ago

I think the reason I originally did this was to also not have to provide library: vs plugin:, but we should just strip these things off both the request and the string we're comparing with