readthedocs.org
Handle GitHub Push events with `deleted: true` in the JSON
#6465
Merged
Merged