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

Merged

Handle GitHub Push events with `deleted: true` in the JSON #6465

humitos merged 2 commits into master from dont-trigger-builds-on-push-delete

Handle GitHub Push events with `deleted: true` in the JSON

da458d37

ericholscher commented on 2019-12-17

stsewd commented on 2019-12-17

Don't build docs on push with `created: true` either

6d695342

humitos approved these changes on 2019-12-17

stsewd approved these changes on 2019-12-17

humitos merged fac42fcf into master 6 years ago

humitos deleted the dont-trigger-builds-on-push-delete branch 6 years ago

Reviewers

stsewd

humitos

Assignees

No one assigned

Labels

None yet

Milestone

No milestone