Manuel Kaufmann

I created a new released and deployed the changes. It works now! 🚀 Feel free to ping me if you need me or open an issue at https://github.com/readthedocs/addons if there...

How complex would be to refactor these fields and use names without ambiguities: `commit` and `branch_name` instead of `identifier` and `verbose_name` for example? Or, if it's too complex to change...

This extension only works for projects hosted on Read the Docs (we have a warning note in the installation page of the documentation: https://sphinx-hoverxref.readthedocs.io/en/latest/installation.html) since it requires a backend server....

> Oh! So does it mean that there is no way the documentation can be tested except by porting it to RTD? Short answer: No. However, it's possible, but not...

> This is a breaking change, since it will fail for docs that were passing I'd say that it's fine to introduce this and make those builds to fail. They...

We don't support `python.version` not `python.system_packages` anymore. The only missing thing here would be to raise an exception when `build.tools.python` is Conda or Mamba and `python.install` is used together.

It seems that subscribing to `member` event when adding our own webhook on GitHub should be enough to re-sync users' permissions over the repositories. I took a look at the...

Hi @andrest50! When working on the APIv3, I didn't implement this because I didn't think it was going to be too useful since most of the Incoming Webhooks are created...

> Alternatively, we could also make this a separate command/etc, which would just be a wrapper around the API interactions: I know there is this project, that implements the Read...

> maybe we can have an official tool, or just let the community do it. I don't think we _need an official tool_ for redirects. In particular, if there are...