readthedocs.org

7d3d12e7 - Github: use probot auto-assign bot

Github: use probot auto-assign bot This bot will auto-assign any PR created to it's own author. It will help us to manage our new Roadmap using GitHub Beta Projects in a better way.