Developer Information

feature_development_loop:

    # Create a new uniquely named private development branch

    git fetch
    git checkout master
    git checkout -b <user>/<new_unique_branch_name> origin/master

    # ... Do your work here. ...
    # ... git add / rm any files, etc ...

    git commit
    git push

    # Click to create pull request

    # After the pull request is approved and merged into master via github,
    # delete its branch from github, and...

    go to feature_development_loop