From acf068fb21e333d5538092cf9e9356e98d92273e Mon Sep 17 00:00:00 2001
From: Danilo Bargen <gezuru@gmail.com>
Date: Fri, 26 Jul 2013 16:09:52 +0200
Subject: [PATCH] hub is no requirement

---
 CONTRIBUTING.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 69d3ea86..3ff9f7e2 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -14,6 +14,9 @@ and then issue the following command:
 
     hub pull-request -b davidhalter:dev -i <issue-number> -h <your-github-username>:<your-branch-name>
 
+It's no strict requirement though, if you don't have hub installed or prefer to
+use the web interface, then feel free to post a traditional pull request.
+
 My **master** branch is a 100% stable (should be). I only push to it after I am
 certain that things are working out. Many people are using Jedi directly from
 the github master branch.