Closed bauglir closed 1 year ago
Thanks Joris!
bors merge
Build succeeded!
The publicly hosted instance of bors-ng is deprecated and will go away soon.
If you want to self-host your own instance, instructions are here. For more help, visit the forum.
If you want to switch to GitHub's built-in merge queue, visit their help page.
Calling
repo_and_version_of_pull_request_body
with an empty body causes errors due tooccursin
not handlingNothing
values.This could be handled using a separate dispatch, but this approach seems more in line with the rest of the codebase. Just let me know if you'd prefer the dispatch implementation instead and I'll get this updated.
Fixes #503.