Skip to content

Commit 5652772

Browse files
authored
FIx dead link to PR title check workflow
1 parent 6e4c0c0 commit 5652772

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

_docs/developer/getting_started/make_a_pull_request.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -114,7 +114,7 @@ Be sure to read the [Suggestions for New Developers](/developer/getting_started/
114114
See also: [Installation Version Notes](/sysadmin/installation/version_notes)
115115
116116
* To help ensure a title follows our standards, we utilize a
117-
[GitHub workflow](https://github.com/Submitty/Submitty/blob/master/.github/workflows/pr_title.yml)
117+
[GitHub workflow](https://github.com/Submitty/Submitty/blob/main/.github/workflows/pr_title_check.yml)
118118
for validation. Updating your PR title will immediately re-run the workflow, allowing you to edit
119119
it till it does pass validation.
120120

0 commit comments

Comments
 (0)