diff options
Diffstat (limited to 'external/stb/.github/PULL_REQUEST_TEMPLATE.md')
| -rw-r--r-- | external/stb/.github/PULL_REQUEST_TEMPLATE.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/external/stb/.github/PULL_REQUEST_TEMPLATE.md b/external/stb/.github/PULL_REQUEST_TEMPLATE.md new file mode 100644 index 000000000..2b10daa96 --- /dev/null +++ b/external/stb/.github/PULL_REQUEST_TEMPLATE.md @@ -0,0 +1,6 @@ +* Delete this list before clicking CREATE PULL REQUEST +* Make sure you're using a special branch just for this pull request. (Sometimes people unknowingly use a default branch, then later update that branch, which updates the pull request with the other changes if it hasn't been merged yet.) +* Do NOT update the version number in the file. (This just causes conflicts.) +* Do add your name to the list of contributors. (Don't worry about the formatting.) I'll try to remember to add it if you don't, but I sometimes forget as it's an extra step. + +If you get something above wrong, don't fret it, it's not the end of the world. |