diff options
| author | Aokromes <Aokromes@users.noreply.github.com> | 2016-08-25 08:38:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-25 08:38:40 +0200 |
| commit | e2f133902f8a37984e462a807a30a6663448d01e (patch) | |
| tree | ef69ed0c526c7a5deb66a9419007e7f76aab20d2 /pull_request_template.md | |
| parent | 73ef2fa1bcc24c814740fd5c7b6861c99e0dda03 (diff) | |
Update pull_request_template.md
Diffstat (limited to 'pull_request_template.md')
| -rw-r--r-- | pull_request_template.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pull_request_template.md b/pull_request_template.md index bb385cbd55c..e71c4c58134 100644 --- a/pull_request_template.md +++ b/pull_request_template.md @@ -18,4 +18,4 @@ **NOTE** If your Pull Request is ONLY SQL create an issue instead! **NOTE** You no longer need to squash your commits, on merge we will squash it for you. (GitHub added a new feature) -**SUGGESTION** If your Pull Request contains SQL give it an impossible date, for example 9999_99_99_99_database.sql. This way it will be free on merge. +**SUGGESTION** If your Pull Request contains SQL give it an impossible date, for example 9999_99_99_99_database.sql. This way it will be free on merge. Myself, i prefer to use 9999_99_99_xxxxx.sql where xxxxx is the id of the pull request, on that way we can merge multiple pull requests containing sql files on a row and rename the files with a single commit. |