diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md new file mode 100644 index 000000000..76efd4887 --- /dev/null +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -0,0 +1,12 @@ + diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 019f79173..604ac70eb 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -38,3 +38,7 @@ Let's say you wish to add a new command. Assuming your new command is named `foo 8. Run `./check_integrity.sh foo` to check if all done. You are welcome to open up an issue to discuss new commands or features before opening a pull request. + +## Submitting a pull request + +Please follow the suggestion in `./.github/PULL_REQUEST_TEMPLATE.md`.