diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-10-18 12:25:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-18 12:25:15 +0200 |
| commit | 21c4900972e03f7a5776e6fd63607deb698261ca (patch) | |
| tree | 53ee42f0c24840785a424d4777d34cb8f4a6daba | |
| parent | 1ba12829602a6a806b5f465a1e3edcb67f527384 (diff) | |
Update pull_request_template.txt
| -rw-r--r-- | docs/pull_request_template.txt | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/pull_request_template.txt b/docs/pull_request_template.txt index 5e7999f50..20ed71b60 100644 --- a/docs/pull_request_template.txt +++ b/docs/pull_request_template.txt @@ -1,2 +1,4 @@ -Before sending a pull request, please review Contribution Guidelines: -https://github.com/google/syzkaller/blob/master/docs/contributing.md +************************************************************************* +* Before sending a pull request, please review Contribution Guidelines: * +* https://github.com/google/syzkaller/blob/master/docs/contributing.md * +************************************************************************* |