the work right the way through to "git push" immediately (at least by the end
of the day), or do not "have time", reconsider and find a way to make the work
smaller. If unsure, ask on the mailing list."""]]
+
+* run `git pull`
+* edit files, making sure only one “purpose"
+* save them
+* run unit tests and make sure they pass
+* fix errors
+* run `git status | more`, review the output
+* run `git diff`, review the output
+* run `git commit -a -m 'useful description' `
+* run `git pull`
+* run `git push`
+
+# Troubleshooting
+## [[!toggle id="conflict" text="""what to do if "git pull" results in conflict"""]]
+
+[[!toggleable id="conflict" text="""
+* to be done
+* if you are still unsure what to do please ask for advice on IRC or the
+mailing list
+
+[[!toggle id="conflict" text="hide"]]
+"""]]
+
+## [[!toggle id="add" text="""what to do if you want to add files."""]]
+
+[[!toggleable id="add" text="""
+* to be done
+* if you are still unsure what to do please ask for advice on IRC or the
+mailing list
+
+[[!toggle id="add" text="hide"]]
+"""]]
+---
+
+this one, `git status` is very important, to check files that should have
+been added but have not.