improved description of workflow in git.txt ... part of the old description did not actually match our Github workflow, so this is now rectified
Merge branch 'master' into #325