[IMP] runbot: add a widget for pull requests url's#1009

Merged

Williambraecky merged 3 commits into18.0from 17.0-runbot-pr-widget-moc

Jan 22, 2025

+35-3

Commits on Jan 22, 2025

[IMP] runbot: add a widget for pull requests url's

d-fence
authored and
Williambraecky
committed
[IMP] runbot: improve pull request widget
Williambraecky
committed
[IMP] runbot: support github display for branch search
Williambraecky
committed