diff --git a/README.md b/README.md index cda782010539c613b36436945ece744317b81277..48f7fe7c5f9ccf79fcf7859bac5144d8b19af14c 100644 --- a/README.md +++ b/README.md @@ -74,5 +74,5 @@ How to mod (basic doc): 2. Fork main repository through gitgud interface. (Or pull changes from main repo if you already have fork.) 3. Clone your fork to local machine with git client (Or pull changes if already cloned.) 4. Make you changes as you like, commit, and push result into your forked repository (with git client). - 4a. (optional, but recommended) Run sanityCheck before final push to catch any errors you missed. (You can ignore errors unrelated to files you changed.) + 5. (optional, but recommended) Run sanityCheck before final push to catch any errors you missed. (You can ignore errors unrelated to files you changed.) 6. Make merge request through gitgud interface.