git and 'issues'

Fix oce issue N

The commands listed below show how to update oce. Here, N is the integer number of the issue. The code shows the method for a local branch, which is OK for simple code changes. In more complicated cases or work that will be started on one machine and finished on another (a common situation for DK), it makes sense to push the issue branch to Github, perhaps removing it days or weeks later, to avoid clutter.

git branch issueN
# fix the issue
git commit -am 'fix http://github.com/dankelley/oce/issues#issue/N'
git checkout master
git merge --no-ff issueN
git push