Merge branch 'refine-commit-file' into 'master'

Refinements to allow direct commits to master, build skips with auto-merge

See merge request !18