added Contributing file, because I want people to push to the dev branch.

This commit is contained in:
David Halter
2012-10-17 07:34:06 +02:00
parent 8fe0bac319
commit c0a66654bf
2 changed files with 9 additions and 1 deletions

8
CONTRIBUTING.md Normal file
View File

@@ -0,0 +1,8 @@
Pull Requests are great (on the *dev* branch)!
1. Fork the Repo on github.
2. If you are adding functionality or fixing a bug, please add a test!
3. 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 it is working. Many people are using Jedi directly from the github
master branch.

2
jedi

Submodule jedi updated: 6a8b160e1b...2ba5e363c9