Skip to content

Commit

Permalink
fix(PULL_REQUEST_TEMPLATE): use absolute urls
Browse files Browse the repository at this point in the history
The relative urls do not resolve correctly.
  • Loading branch information
gebner committed Jan 14, 2019
1 parent b03c0aa commit 6a7c7d8
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions PULL_REQUEST_TEMPLATE.md → .github/PULL_REQUEST_TEMPLATE.md
Expand Up @@ -2,7 +2,7 @@ TO CONTRIBUTORS:

Make sure you have:

* [ ] reviewed and applied the coding style: [coding](./docs/style.md), [naming](./docs/naming.md)
* [ ] reviewed and applied the coding style: [coding](https://github.com/leanprover/mathlib/blob/master/docs/style.md), [naming](https://github.com/leanprover/mathlib/blob/master/docs/naming.md)
* [ ] for tactics:
* [ ] added or adapted documentation in [tactics.md](./docs/tactics.md)
* [ ] write an example of use of the new feature in [tactics.lean](./tests/tactics.lean)
Expand All @@ -11,4 +11,4 @@ Make sure you have:

If this PR is related to a discussion on Zulip, please include a link in the discussion.

For reviewers: [code review check list](./docs/code-review.md)
For reviewers: [code review check list](https://github.com/leanprover/mathlib/blob/master/docs/code-review.md)

0 comments on commit 6a7c7d8

Please sign in to comment.