idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-25 20:51:43 +03:00
Code Issues Projects Releases Wiki Activity

Fix link to CONTRIBUTING.md in proposal template

Browse Source 
The local paths (`../../CONTRIBUTING.md`) and even the absolute paths (`/CONTRIBUTING.md`) depend on which GH page you're on -_-

This sets the reference to a URL, meaning it should (hopefully) just point to the right thing for everyone now.
This commit is contained in:
CodingCellist 2022-04-26 10:15:20 +02:00 committed by GitHub
parent 7c5650e94e
commit d26738b6d9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/ISSUE_TEMPLATE/feature-requests-and-proposals.md vendored
View File

@ -16,7 +16,7 @@ We cannot guarantee your proposal will be implemented in a timely manner (or at
---> --->
- [ ] I have read [CONTRIBUTING.md](../../CONTRIBUTING.md). - [ ] I have read [CONTRIBUTING.md](https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md).
- [ ] I have checked that there is no existing PR/issue about my proposal. - [ ] I have checked that there is no existing PR/issue about my proposal.
## Summary ## Summary