mirror of
https://github.com/davidhalter/jedi.git
synced 2026-01-16 17:06:45 +08:00
Added hub pull-request info to CONTRIBUTING.md
This commit is contained in:
@@ -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 <issue-number> -h <your-github-username>:<your-branch-name>
|
||||
|
||||
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.
|
||||
|
||||
Reference in New Issue
Block a user