From 5c7a9fecd6f8d8dd2fb1e51f25f17d3453996338 Mon Sep 17 00:00:00 2001 From: Oliver Eyton-Williams Date: Wed, 18 Nov 2020 14:45:01 +0100 Subject: [PATCH] docs: add Docker guide to CONTRIBUTING.md --- .github/CONTRIBUTING.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md index 21c112bb..61b54d34 100644 --- 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