diff --git a/bors.toml b/bors.toml new file mode 100644 index 0000000..251f915 --- /dev/null +++ b/bors.toml @@ -0,0 +1,5 @@ +status = [ + "ci/hercules/onPush/default", + "ci/hercules/evaluation", +] +delete_merged_branches = true