Git workflow and CI doc

docs!35 (merged)