From 6e649c1a67c7341258141d46733da6e39cf0a4e4 Mon Sep 17 00:00:00 2001 From: Danilo Bargen Date: Fri, 26 Jul 2013 16:07:16 +0200 Subject: [PATCH] Added `hub pull-request` info to CONTRIBUTING.md --- CONTRIBUTING.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index d0a06573..69d3ea86 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -6,8 +6,16 @@ are ok in the master branch. 3. Add your name to AUTHORS.txt 4. Push to your fork and submit a **pull request to the dev branch**. +If you have have previously filed a GitHub issue and want to contribute code +that addresses that issue, we prefer it if you use +[hub](https://github.com/github/hub) to convert your existing issue to a pull +request. To do that, first push the changes to a separate branch in your fork +and then issue the following command: + + hub pull-request -b davidhalter:dev -i -h : + 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. -Please use Pep8 to style your code. +Please use PEP8 to style your code.