Skip to content

Commit

Permalink
update contributing link
Browse files Browse the repository at this point in the history
  • Loading branch information
@rkaminsk
rkaminsk committed Feb 15, 2024
1 parent 02815c8 commit ee81bd5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/pull_request_template.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,6 @@

**Please only open Pull Requests against the wip branch**

[ ] Have you followed the guidelines in our [CONTRIBUTING.md](/potassco/clingo/blob/contributing/CONTRIBUTING.md) document?
[ ] Have you followed the guidelines in our [CONTRIBUTING.md](/potassco/clingo/blob/master/CONTRIBUTING.md) document?
[ ] Have you checked to ensure there aren't other open Pull Requests for the same update/change?
[ ] Have you made sure that all tests succeed?

0 comments on commit ee81bd5

Please sign in to comment.