improved description of workflow in git.txt ... part of the old description did not actually match our Github workflow, so this is now rectified