Add integration for new bors

This commit is contained in:
Jakub Beránek
2023-09-28 10:18:20 +02:00
parent 6710e3312d
commit be50413ef0
4 changed files with 4 additions and 2 deletions
+1
View File
@@ -0,0 +1 @@
timeout = 7200