Repository Practices

We will follow the following practices with our repository.

1. When forking the repository, or cloning it, please fork or clone the development branch, which is the default in GitHub. All work on the repository will take place on the development branch. Pull requests to the master branch will take place only when new versions are posted. No pull requests to the master branch will be accepted in other circumstances.

2. When you go to create a new feature, please create a new branch for that feature with a descriptive name. Please this in the GitHub interface, then go to Intellij and from the Git menu select "Update Project", and then you will be able to select your new branch. You will need to be logged in to Github in order to do this. Then if you wish, you may issue a pull request against the development branch without difficulty. (You may otherwise have difficulty.) Your feature branch will need to be up to date with the development branch in order to do this. If it is not, pull from development to get the new code and reconcile the branch before doing the pull request. (This will be enforced.)

3. The pull request will be subject to discussion in the GitHub pull requests tab and if accepted will be merged by someone other than its author.

Thanks!