From abce819ad04ec76098afca4523c4f4cc8d494485 Mon Sep 17 00:00:00 2001
From: Thomas Wachter <35061939+thomasw04@users.noreply.github.com>
Date: Tue, 28 Oct 2025 10:44:48 +0100
Subject: [PATCH 1/4] Add contributing section to README

Added contributing guidelines and licensing information.
---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index ebf3150..0f99c57 100644
--- a/README.md
+++ b/README.md
@@ -69,3 +69,9 @@ $ just hooks
 Osiris is distributed under the terms of both the MIT license and the Apache License (Version 2.0).
 
 See [LICENSE-APACHE](LICENSE-APACHE) and [LICENSE-MIT](LICENSE-MIT) for details.
+
+## Contributing
+
+By submitting a pull request or otherwise contributing to this repository, you agree that your contributions are licensed under both the **Apache 2.0** and **MIT** licenses, the same as the Osiris project itself.
+
+Please ensure all commits comply with these licensing terms and include proper attribution where applicable.

From bbef3dcc7b5d97ea9670061f0300c70b3ff96e9f Mon Sep 17 00:00:00 2001
From: Thomas Wachter <35061939+thomasw04@users.noreply.github.com>
Date: Tue, 28 Oct 2025 11:01:38 +0100
Subject: [PATCH 2/4] Update CONTRIBUTING.md with contribution guidelines

Added a section on how to contribute and clarified licensing terms.
---
 CONTRIBUTING.md | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 CONTRIBUTING.md

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
new file mode 100644
index 0000000..d167151
--- /dev/null
+++ b/CONTRIBUTING.md
@@ -0,0 +1,18 @@
+# Contributing
+
+Thank you for your interest in contributing!
+
+## License
+
+This project is dual-licensed under the **Apache License 2.0** and the **MIT License**.
+
+By contributing to this repository, you agree that your contributions are licensed under these same terms.
+
+## How to contribute
+
+1. Fork or create a feature branch (e.g., `feature/`, `fix/`, `test/`) based on the `main` branch.
+2. Make your changes with clear, descriptive commit messages.
+3. Write tests and proofs for your changes.
+4. Ensure that all tests and all proofs pass.
+5. Run the formatter.
+6. Open a merge request with a clear description of your changes. (reference the issue that gets resolved by the PR, if any.)

From 186a6c62086a7d6628cf12d51cff7557851ca297 Mon Sep 17 00:00:00 2001
From: Thomas Wachter <35061939+thomasw04@users.noreply.github.com>
Date: Tue, 28 Oct 2025 11:24:40 +0100
Subject: [PATCH 3/4] Add contact information for repository maintainer

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/README.md b/README.md
index 0f99c57..13dfeaf 100644
--- a/README.md
+++ b/README.md
@@ -75,3 +75,7 @@ See [LICENSE-APACHE](LICENSE-APACHE) and [LICENSE-MIT](LICENSE-MIT) for details.
 By submitting a pull request or otherwise contributing to this repository, you agree that your contributions are licensed under both the **Apache 2.0** and **MIT** licenses, the same as the Osiris project itself.
 
 Please ensure all commits comply with these licensing terms and include proper attribution where applicable.
+
+## Contact
+
+Osiris was created and is maintained by Thomas Wachter ([@thomasw04](https://github.com/thomasw04/)).

From ce93d7d7cc7b451d32115e6957c39068e8fb0b90 Mon Sep 17 00:00:00 2001
From: thomasw04 <35061939+thomasw04@users.noreply.github.com>
Date: Wed, 29 Oct 2025 16:10:59 +0000
Subject: [PATCH 4/4] reference contributing.md. rephrase.

---
 CONTRIBUTING.md | 4 ++--
 README.md       | 4 +---
 2 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index d167151..bcf160f 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -4,9 +4,9 @@ Thank you for your interest in contributing!
 
 ## License
 
-This project is dual-licensed under the **Apache License 2.0** and the **MIT License**.
+By submitting a pull request or otherwise contributing to this repository, you agree that your contributions are licensed under both the **Apache 2.0** and **MIT** licenses, the same as the Osiris project itself.
 
-By contributing to this repository, you agree that your contributions are licensed under these same terms.
+Please ensure all commits comply with these licensing terms and include proper attribution where applicable.
 
 ## How to contribute
 
diff --git a/README.md b/README.md
index 13dfeaf..299bc5e 100644
--- a/README.md
+++ b/README.md
@@ -72,9 +72,7 @@ See [LICENSE-APACHE](LICENSE-APACHE) and [LICENSE-MIT](LICENSE-MIT) for details.
 
 ## Contributing
 
-By submitting a pull request or otherwise contributing to this repository, you agree that your contributions are licensed under both the **Apache 2.0** and **MIT** licenses, the same as the Osiris project itself.
-
-Please ensure all commits comply with these licensing terms and include proper attribution where applicable.
+Read the [CONTRIBUTING.md](CONTRIBUTING.md) before submitting a pull request or otherwise contributing to this repository.
 
 ## Contact