add section about enabling auto-change detection

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index cd7795c6a32b0d2acb5a077e4ff8d7cb8059b00e..9e86506ddae0407a78783263bcc316fc30245c93 100644 (file)
--- a/HDL_workflow.mdwn
+++ b/HDL_workflow.mdwn
@@ -523,6 +523,12 @@ cover corner cases and take far less time to write
   avoid this kind of thing however pair-programming is difficult to organise
   for remote collaborative libre projects (suggestions welcomed here)
 
+### Enable editor auto-detection of file changes by external programs
+
+This is important.  "git pull" will merge in changes.  If you then
+arbitrarily save a file without re-loading it, you risk destroying
+other people's work.
+
 ### Absolutely no auto-generated output
 
 * **do not commit autogenerated output**. write a shell script and commit