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.