From b99b81c97549dfa08c5e75244d468f40bfc6590a Mon Sep 17 00:00:00 2001
From: Samuel Chassot <samuel.chassot@epfl.ch>
Date: Thu, 16 Jan 2025 15:14:59 +0100
Subject: [PATCH] Remove useless larabot file

---
 .larabot.conf | 32 --------------------------------
 1 file changed, 32 deletions(-)
 delete mode 100644 .larabot.conf

diff --git a/.larabot.conf b/.larabot.conf
deleted file mode 100644
index 4ee0bbfd6..000000000
--- a/.larabot.conf
+++ /dev/null
@@ -1,32 +0,0 @@
-commands = [
-    "sbt -Dtest-parallelism=10 -batch test"
-    "sbt -Dtest-parallelism=10 -batch it:test"
-]
-
-trusted = [
-    "colder"
-    "larsrh"
-    "mantognini"
-    "manoskouk"
-    "MikaelMayer"
-    "ravimad"
-    "regb"
-    "romac"
-    "samarion"
-    "vkuncak"
-    "redelmann"
-    "jad-hamza"
-    "gsps"
-    "brunnerant"
-    "yannbolliger"
-    "mario-bucev"
-    "mbovel"
-    "samuelchassot"
-    "sankalpgambhir"
-]
-
-notify {
-    master = [
-        "leon-dev@googlegroups.com"
-    ]
-}