Git commit workflow

Git commit workflow for Storeman Installer

This is the commit workflow used for harbour-storeman-installer.

 Pull requests
          │
          ▼

devel branch ───► master branch

All "horizontal" pull requests (i.e., from devel to master) must be regular merge commits. Hence stubbornly always perform merge commits "horizontally".

Note that the basic idea is to accumulate commits and pull requests (PRs) in(to) the devel branch, then move them in tranches (i.e., as PRs) into the master branch (which is subjected to different CI builds for quality assurance).