readthedocs.org
da458d37 - Handle GitHub Push events with `deleted: true` in the JSON

Commit

6 years ago

Handle GitHub Push events with `deleted: true` in the JSON This fixes https://github.com/readthedocs/readthedocs.org/issues/6464

References

Author

ericholscher

Parents