From 535b1e7ef9e9cd319fbcfef35f7b27217bb30756 Mon Sep 17 00:00:00 2001 From: lemmi Date: Mon, 18 Jun 2018 21:02:13 +0200 Subject: [PATCH] CONTRIBUTING.md: fix heading level --- CONTRIBUTING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 2a328c94710..b0f255f29b2 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -61,7 +61,7 @@ packages should also be part of the same pull request. When you make changes to your pull request, please *do not close and reopen your pull request*. Instead, just forcibly git push, overwriting any old commits. Closing and opening your pull requests repeatedly spams the Void maintainers. -##### Travis +#### Travis Once you have started a pull request, you will get instant feedback from Travis. It will check if the templates you have changed comply with the our guidelines. At the moment not all packages comply to the rules, so if you update a package, it may happen, that Travis