Proposed Development Procedure

When a new piece of development is started, the following steps should be followed to ensure all parties' workflows are accounted for.

1. Create a GitHub Issue.
2. In spreadsheet, change action to ISSUE. Also change action comments to include the issue number.
3. OCI Only: Create a Jira Issue and link the GitHub Issue to it.
4. If feature is needed for 3.1: Create a PR targeting https://github.com/eosnetworkfoundation/mandel/tree/release/3.1.x.
5. Upon merge into release/3.1.x, create a new PR to merge release/3.1.x into main. Resolve any required merge conflict. The comment box of this PR should contain the phrase Resolves: <Link to GitHub Issue> so that when this PR is merged, the GitHub issue is automatically closed.