William Braeckman (wbr)

- Use webhook secrets with github (optional) - Store webhooks to be processed by the leader - automagically match prs with runbot errors if the pr_body contains the appropriate content

[IMP] runbot: allow custom run path per user

5

Adds a new setting on users to define a custom path to use when accessing a running build. Can be used to directly access a specific page instead of landing...

Previously the has_pr button was a literal href which meant you couldn't do both a search with the has_pr checked in a singular action. Now the has_pr button acts as...