From 66a984b8ef1c52f02bed76a7410a07333181f3f2 Mon Sep 17 00:00:00 2001 From: David Halter Date: Mon, 5 Aug 2013 16:36:41 +0430 Subject: [PATCH] move issues to pull request in contributing --- CONTRIBUTING.md | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 3ff9f7e2..29416047 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -6,6 +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**. +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.** + + +Changing Issues to Pull Requests (Github) +----------------------------------------- + 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 @@ -16,9 +26,3 @@ and then issue the following command: 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. - -Please use PEP8 to style your code.