Web developmentWhat The MergeElkasituAdds a button to GitHub's Pull Request UI for certain Odoo repositories (odoo/enterprise/upgrade) that redirects the user to the mergebot dashboard of the corresponding PR.Screenshots from Mozilla Add-ons