docs: add Docker guide to CONTRIBUTING.md

4 years ago · 5c7a9fecd6
parent a8fd9e1e36
commit 5c7a9fecd6
1 changed files with 2 additions and 1 deletions
--- a/.github/CONTRIBUTING.md
+++ b/.github/CONTRIBUTING.md
@ -12,7 +12,8 @@ Want to contribute? Great. Please review the following guidelines carefully and
 6. [Updating existing documentations](#updating-existing-documentations)
 7. [Other contributions](#other-contributions)
 8. [Coding conventions](#coding-conventions)
-9. [Questions?](#questions)
+9. [Developing in Docker](#developing-in-docker)
+10. [Questions?](#questions)

 ## Reporting bugs