search

crawford / tailor

GitHub bot that validates patches before they can be merged
Apache License 2.0
18 stars 10 forks source link

github: make pull request body optional #44

Closed crawford closed 6 years ago

crawford commented 6 years ago

The body attribute of the pull request type is actually optional.

crawford commented 6 years ago

This is going to need a bump of github-rs (once I've written it), which depends on hyper-rustls updating to ring 0.12 (https://github.com/ctz/hyper-rustls/pull/38).