From fa9f61df0b6a680274c9e63cd6c5a9f323e961be Mon Sep 17 00:00:00 2001
From: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
Date: Fri, 1 Mar 2024 14:03:54 -0800
Subject: [PATCH] Update s2n-quic submodule weekly through dependabot (#3053)

Use dependabot to update the `s2n-quic` submodule weekly (every Monday).
This is to avoid having to do this effort manually, and to guarantee
that none of the `s2n-quic` proofs break due to changes in Kani.

I've tested this in my own fork, and it seemed to work correctly.
---
 .github/dependabot.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/dependabot.yml b/.github/dependabot.yml
index 7647990dd685a..7f78dab1ece09 100644
--- a/.github/dependabot.yml
+++ b/.github/dependabot.yml
@@ -9,3 +9,10 @@ updates:
     directory: "/"
     schedule:
       interval: "weekly"
+
+  - package-ecosystem: "gitsubmodule"
+    directory: "/"
+    allow:
+      - dependency-name: "tests/perf/s2n-quic"
+    schedule:
+      interval: "weekly"