language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 10:49:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

docs: add PR title and merge mode specification

Browse source
This commit is contained in:
Cai Bingjun 2023-02-04 21:50:29 +08:00 • committed by GitHub
parent 0585e25f05
commit dfa9f305fb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
doc/EN/dev_guide/commit_message.md
View file

@ -1,4 +1,4 @@
# Guidelines for Commit Messages
# Guidelines for Commit Messages(PR titles use the same method)
This guideline is intended to
@ -85,3 +85,4 @@ As you can see from the examples, API and file/directory names should be enclose
* You are free to write commits in the middle of your work. When you finally squash and organize your work, please follow the rules.
* Basically use the present and ongoing tenses for sentences.
* If there are messy commits in PR, please use squash and merge(If the commit is clear, merge directly)