Git workflow

[maurolepore]

This repo helped me try the Gitflow workflow and finally learn a way to work more or less fluently with it (see post). That fluid way used the git flow extension, which does merges locally. (For example, git flow release finish 0.2.0 merges release/0.2.0 into master and develop, then removes release/0.2.0.) I welcome that automation because it minimizes the things I need to remember to do manually.

Unfortunately the current settings of this repo does not allow us to merge master locally then push to origin. Worse, we need two reviewers. This slows the workflow -- for example, the latest version of this package has been available on CRAN for 2 weeks now, yet the PR merging the release branch into master is still pending review.

This makes me think of two ways to remove the frictions:

1. Go back to the GitHub workflow. I'm super happy to have learned the Gitflow workflow but I think it's not a good fit for this repo. The public release on CRAN makes the complex structure of the Gitflow workflow an overkill.
2. Relax the settings to work smoothly with the git flow extension -- i.e. allow a local merge followed by a push, and do not require reviews to merge into master -- as that is a formality (the real release is on CRAN).