Merge pull request #760 from KarthikNayak/kn-update-micro-projects

microprojects: add notes for the 2025 microproject list

Author: chriscool

SoC-2025-Microprojects.md

@@ -206,3 +206,8 @@ There should be only one kind of change per commit. For example if one
 of your commits indents test bodies with TABs, instead of spaces, then
 this should be the only kind of change in this commit.
 
+#### Notes
+- only work on t/t????-*.sh scripts.
+- pick just one script (so as to avoid exhausting the pool for other candidates).
+- only convert `test -[def]` instances which semantically are assertions
+  (i.e. used as part of a &&-chain).