Categories

Add Doctolib features to GitHub interface and other websites.

Doctolib extension that improves GitHub experience.
- List which commits are deployed
- Add a button to merge the base branch
- Add a link a JIRA on Pull Requests

It also allows to easily update the locale on Docotlib websites.