diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md new file mode 100755 index 0000000..7008854 --- /dev/null +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -0,0 +1,28 @@ + + + + +### Why is this Change Important & Necessary? + + +### What is the New Behavior? + + +### What steps should a reviewer take to reproduce or test the bug or new feature? + +### Automated Testing & Documentation + + +### Other information + diff --git a/.github/workflows/pr_title_check.yml b/.github/workflows/pr_title_check.yml new file mode 100644 index 0000000..5bbd9ac --- /dev/null +++ b/.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 + # + # [:] + # + - uses: submitty/action-pr-title@main diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml new file mode 100644 index 0000000..406a0e0 --- /dev/null +++ b/.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) }} + }' +