Creating Pull Requests

• Ensure there’s an appropriate label on the PR. The label will be used to determine the version level to increment for the next release. When merging a PR into the develop branch, use the "Squash and Merge" method so that the commit history is clean.
• After merging, the branch is automatically deleted on Github.