From 8f434a3537777412b77bc1f05117a3a26f4a05a5 Mon Sep 17 00:00:00 2001 From: Deirdre Connolly Date: Tue, 19 Nov 2024 14:37:31 -0500 Subject: [PATCH 1/3] Add MIT license (matches EasyCrypt's) --- LICENSE | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 LICENSE diff --git a/LICENSE b/LICENSE new file mode 100644 index 0000000..346d342 --- /dev/null +++ b/LICENSE @@ -0,0 +1,19 @@ +Copyright 2024 + +Permission is hereby granted, free of charge, to any person obtaining a copy +of this software and associated documentation files (the “Software”), to deal +in the Software without restriction, including without limitation the rights +to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +copies of the Software, and to permit persons to whom the Software is +furnished to do so, subject to the following conditions: + +The above copyright notice and this permission notice shall be included in +all copies or substantial portions of the Software. + +THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE +SOFTWARE. From c7d7b776f8aaa12e3aefbdd08dcc744ae0d25dd7 Mon Sep 17 00:00:00 2001 From: Deirdre Connolly Date: Tue, 19 Nov 2024 15:30:26 -0500 Subject: [PATCH 2/3] Add CODEOWNERS --- .github/CODEOWNERS | 80 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 80 insertions(+) create mode 100644 .github/CODEOWNERS diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS new file mode 100644 index 0000000..f68abbc --- /dev/null +++ b/.github/CODEOWNERS @@ -0,0 +1,80 @@ +# This is a comment. +# Each line is a file pattern followed by one or more owners. + +# These owners will be the default owners for everything in +# the repo. Unless a later match takes precedence, +# @global-owner1 and @global-owner2 will be requested for +# review when someone opens a pull request. + +* @mm45 + +# Order is important; the last matching pattern takes the most +# precedence. When someone opens a pull request that only +# modifies JS files, only @js-owner and not the global +# owner(s) will be requested for a review. + +*.eca @mm45 #This is an inline comment. +*.ec @mm45 + +# You can also use email addresses if you prefer. They'll be +# used to look up users just like we do for commit author +# emails. + +# *.go docs@example.com + +# Teams can be specified as code owners as well. Teams should +# be identified in the format @org/team-name. Teams must have +# explicit write access to the repository. In this example, +# the octocats team in the octo-org organization owns all .txt files. + +# *.txt @octo-org/octocats + +# In this example, @doctocat owns any files in the build/logs +# directory at the root of the repository and any of its +# subdirectories. + +/proofs/ @mm45 + +# The `docs/*` pattern will match files like +# `docs/getting-started.md` but not further nested files like +# `docs/build-app/troubleshooting.md`. + +# docs/* docs@example.com + +# In this example, @octocat owns any file in an apps directory +# anywhere in your repository. + +# apps/ @octocat + +# In this example, @doctocat owns any file in the `/docs` +# directory in the root of your repository and any of its +# subdirectories. + +# /docs/ @doctocat + +# In this example, any change inside the `/scripts` directory +# will require approval from @doctocat or @octocat. + +# /scripts/ @doctocat @octocat + +# In this example, @octocat owns any file in a `/logs` directory such as +# `/build/logs`, `/scripts/logs`, and `/deeply/nested/logs`. Any changes +# in a `/logs` directory will require approval from @octocat. + +# **/logs @octocat + +# In this example, @octocat owns any file in the `/apps` +# directory in the root of your repository except for the `/apps/github` +# subdirectory, as its owners are left empty. Without an owner, changes +# to `apps/github` can be made with the approval of any user who has +# write access to the repository. + +# /apps/ @octocat +# /apps/github + +# In this example, @octocat owns any file in the `/apps` +# directory in the root of your repository except for the `/apps/github` +# subdirectory, as this subdirectory has its own owner @doctocat + +# /apps/ @octocat +# /apps/github @doctocat From 6fd30804402a814f85052bc84e08a1124ef627b2 Mon Sep 17 00:00:00 2001 From: Deirdre Connolly Date: Wed, 20 Nov 2024 13:11:06 -0500 Subject: [PATCH 3/3] Fix caps --- .github/CODEOWNERS | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index f68abbc..ff43912 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -6,15 +6,15 @@ # @global-owner1 and @global-owner2 will be requested for # review when someone opens a pull request. -* @mm45 +* @MM45 # Order is important; the last matching pattern takes the most # precedence. When someone opens a pull request that only # modifies JS files, only @js-owner and not the global # owner(s) will be requested for a review. -*.eca @mm45 #This is an inline comment. -*.ec @mm45 +*.eca @MM45 #This is an inline comment. +*.ec @MM45 # You can also use email addresses if you prefer. They'll be # used to look up users just like we do for commit author @@ -33,7 +33,7 @@ # directory at the root of the repository and any of its # subdirectories. -/proofs/ @mm45 +/proofs/ @MM45 # The `docs/*` pattern will match files like # `docs/getting-started.md` but not further nested files like