What The Merge Elkasitu מאת

Adds 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.