openharmony/third_party_rust_nom
1
0
Fork 0
mirror of https://gitee.com/openharmony/third_party_rust_nom synced 2024-11-27 01:30:32 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Update PR template to be a comment.

Browse Source 
Removes the need to delete them.
This commit is contained in:
Hanif Ariffin 2020-10-26 02:36:50 -04:00 committed by Geoffroy Couprie
parent daa506bb7f
commit da6d9a1368
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.github/PULL_REQUEST_TEMPLATE.md vendored
View File

@ -1,3 +1,4 @@
<!--
Hello, and thank you for submitting a pull request to nom!
First, please note that, for family reasons, I have limited time to work on
@ -37,4 +38,4 @@ If the pull request include a lot of small commits used for testing, debugging,
or correcting previous work, it might be useful to
[squash the commits](https://git-scm.com/book/en/v2/Git-Tools-Rewriting-History)
to make the code easier to merge.
-->