fmtools/content
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects 1 Releases Wiki Activity

Add Contribute

Landon Taylor 2025-06-09 16:14:34 +00:00
parent 013c74e4e7
commit 447afd4015
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
Contribute.md Normal file

@ -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.