From 447afd4015d52ae48b08a155cb1fd5c139490b45 Mon Sep 17 00:00:00 2001 From: Landon Taylor Date: Mon, 9 Jun 2025 16:14:34 +0000 Subject: [PATCH] Add Contribute --- Contribute.md | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 Contribute.md diff --git a/Contribute.md b/Contribute.md new file mode 100644 index 0000000..2014d6a --- /dev/null +++ b/Contribute.md @@ -0,0 +1,15 @@ +Thank you for your interest in contributing to the Formal Methods Tools website! I welcome contributions of all kinds, but I'm especially interested in content---adding or updating the selection of tools featured on the site. + +I hope contributing is as easy as possible. Simply follow these steps: + +1. Set up an account on GitMoss + - Sign up at https://gitmoss.fyi/user/sign_up + - Send me an email at `git@mossbiscuits.com` so I know to approve your account. +2. Clone the repository as you normally would. You may need to set up an access token. +3. Checkout a branch for your edits. +4. Use [AGit](https://docs.gitea.com/usage/agit) from the command line (saves disk space) to create a PR. +5. That's it---I'll merge or comment on your PR as soon as I can. + +I'll have more comprehensive docs soon about the parameters to specify, but for now, just copy and modify existing tools' structure. + +Thank you so much again for your help with this project. It's a huge undertaking (especially for a grad student's hobby project), so I am honored you're interested in it. \ No newline at end of file