From bd6a7706e87b7acae9c1af73e3b4e8f1e344fc85 Mon Sep 17 00:00:00 2001 From: Robert Hensing Date: Thu, 19 May 2022 09:48:46 +0200 Subject: [PATCH] Add bors bot --- bors.toml | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 bors.toml 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