Everything should be done on devel

Devel is for features in progress before being rolled to
production.  Master is for production.  Update the docs
to follow our gitflow model.