@serge-sans-paille @JohanMabille
There are many stale branch on the repo which could get cleaned.
Any objections to deleting them?

Also @JohanMabille could you enable the setting to automatically delete branch after PR merge (there is then a button in the UI to manually restore it).