[Feature:System] workflows setup

.github/PULL_REQUEST_TEMPLATE.md

@@ -0,0 +1,28 @@
+<!-- ** Please remove all comment blocks in the description before submitting this PR. ** -->
+
+<!-- NOTE: Please ensure your title and description align with Submitty conventions (see 
+https://submitty.org/developer/getting_started/make_a_pull_request for more details). 
+Each title has a prefix, and a limit of 40 chars. A description template has been 
+provided and must be completed in full. Please also ensure that all CI tests 
+are passing. Pull requests that do not meet these requirements are ineligible for 
+review and may be closed. -->
+
+### Why is this Change Important & Necessary?
+<!-- Include any GitHub issue that is fixed/closed using "Fixes #<number>" or "Closes #<number>" syntax.  
+Alternately write "Partially addresses #<number>" or "Related to #<number>" as appropriate. -->
+
+### What is the New Behavior?
+<!-- Include before & after screenshots/videos if the user interface has changed. -->
+
+### What steps should a reviewer take to reproduce or test the bug or new feature?
+
+### Automated Testing & Documentation
+<!-- Is this feature sufficiently tested by unit tests and end-to-end tests?  
+If this PR does not add/update the necessary automated tests, write a new GitHub issue and link it below.  
+Is this feature sufficiently documented on submitty.org?
+Link related PRs or new GitHub issue to update documentation. -->
+
+### Other information
+<!-- Is this a breaking change?  
+Does this PR include migrations to update existing installations?  
+Are there security concerns with this PR? -->

.github/workflows/pr_title_check.yml

@@ -0,0 +1,20 @@
+name: 'Submitty PR Title Check'
+on:
+  pull_request:
+    # check when PR
+    # * is created,
+    # * title is edited, and
+    # * new commits are added (to ensure failing title blocks merging)
+    types: [opened, reopened, edited, synchronize]
+
+jobs:
+  title-check:
+    runs-on: ubuntu-latest
+    steps:
+      #
+      # pull request titles format rules here:
+      # https://submitty.org/developer/how_to_contribute#how-to-make-a-pull-request-pr-to-submitty
+      #
+      # [<TYPE>:<MODULE>] <SUBJECT>
+      #
+      - uses: submitty/action-pr-title@main

.github/workflows/release.yml

@@ -0,0 +1,23 @@
+name: Release
+
+on:
+  release:
+    types: [published]
+
+jobs:
+  dispatch-update:
+    name: Dispatch Update
+    runs-on: ubuntu-latest
+    steps:
+      - uses: Submitty/peter-evans-repository-dispatch@v26.07.00
+        if: ${{ github.repository_owner == 'Submitty' }}
+        with:
+          event-type: repo-release
+          token: ${{ secrets.SUBMITTYBOT_DEPENDENCY_TOKEN }}
+          repository: ${{ github.repository_owner }}/Submitty
+          client-payload: '{
+              "repo_name": ${{ toJSON(github.event.repository.name) }},
+              "repo": ${{ toJSON(github.event.repository.full_name) }},
+              "tag": ${{ toJSON(github.event.release.tag_name) }}
+            }'
+