From c31dc4873c229605f92d0a71588e1f308b4b1987 Mon Sep 17 00:00:00 2001
From: Ry Jones <ry@linux.com>
Date: Tue, 12 Mar 2024 08:23:31 -0700
Subject: [PATCH] Create settings.yml

Signed-off-by: Ry Jones <ry@linux.com>
---
 .github/settings.yml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 .github/settings.yml

diff --git a/.github/settings.yml b/.github/settings.yml
new file mode 100644
index 0000000..3dea8b0
--- /dev/null
+++ b/.github/settings.yml
@@ -0,0 +1,18 @@
+#
+# SPDX-License-Identifier: Apache-2.0
+#
+
+repository:
+  name: mlkem-rust-libcrux
+  description: portable ML-KEM implementation with some optimizations for AVX2. Full AVX2 support will be added over the coming months. The code is formally verified for panic freedom, correctness, and secret independence in F* using the hax toolchain.
+  homepage: https://github.com/pq-code-package/mlkem-rust-libcrux
+  default_branch: main
+  has_downloads: false
+  has_issues: true
+  has_projects: true
+  has_wiki: false
+  archived: false
+  private: false
+  allow_squash_merge: true
+  allow_merge_commit: false
+  allow_rebase_merge: true