diff options
author | Lubomir I. Ivanov <neolit123@gmail.com> | 2017-09-25 01:10:04 +0300 |
---|---|---|
committer | Lubomir I. Ivanov <neolit123@gmail.com> | 2017-09-26 20:45:07 +0300 |
commit | 73814583258fd88078582043754dc5fa33861cbf (patch) | |
tree | 4e9b37278bd77c1d363100a2f28c0ee63a0f8529 /core/plannernotes.c | |
parent | f0de9e77b87691c331f17c84ad7f3d0d40ff9f1d (diff) | |
download | subsurface-73814583258fd88078582043754dc5fa33861cbf.tar.gz |
github: add templates for pull requests and issue reports
.github/ISSUE_TEMPLATE.md will be used when the Github users
create new issues.
.github/PULL_REQUEST_TEMPLATE.md will be used when the Github users
create new pull requests.
The markdown supports HTML comments (<!-- comment -->), which
can instruct the Github user how to create a detailed PR or issue
report.
Most big Github projects use such templates and these can help
the collaborators to examine the PRs and ISSUES faster.
Fixes #598
Reviewed-by: Dirk Hohndel <dirk@hohndel.org>
Reviewed-by: Jan Mulder <jlmulder@xs4all.nl>
Signed-off-by: Lubomir I. Ivanov <neolit123@gmail.com>
Signed-off-by: Miika Turkia <miika.turkia@gmail.com>
Diffstat (limited to 'core/plannernotes.c')
0 files changed, 0 insertions, 0 deletions