DO NOT MERGE: Bend CI to use 0.9 riot-module-examples branch

Note that the `http://` is really intended, as it works around
rust-lang/cargo#5478

.github/workflows/test.yml

@@ -43,6 +43,8 @@ jobs:
         echo '[patch.crates-io]' >> .cargo/config.toml
         echo 'riot-wrappers = { path = "../", version = "*" }' >> .cargo/config.toml
         echo 'riot-sys = { git = "https://github.com/RIOT-OS/rust-riot-sys" }' >> .cargo/config.toml
+        echo '[patch."https://gitlab.com/etonomy/riot-module-examples/"]' >> .cargo/config.toml
+        echo 'riot-coap-handler-demos = { git = "http://gitlab.com/etonomy/riot-module-examples.git", branch = "riotwrappers-vfs-no-unpin" }' >> .cargo/config.toml
     - name: Pull cargo updates
       # No sense in running this in parallel -- this will download the index
       # and all relevant crates once, and after that, just make some notes in Cargo.lock
@@ -55,6 +57,7 @@ jobs:
         do
             echo "::group::Updating ${MANIF}"
             cargo update -p riot-sys -p riot-wrappers --aggressive --manifest-path $MANIF
+            cargo update -p riot-coap-handler-demos --aggressive --manifest-path $MANIF || true
             cargo fetch --manifest-path $MANIF
             cargo tree --manifest-path $MANIF
             echo "::endgroup::"
@@ -108,6 +111,8 @@ jobs:
         echo '[patch.crates-io]' >> .cargo/config.toml
         echo 'riot-wrappers = { path = "../", version = "*" }' >> .cargo/config.toml
         echo 'riot-sys = { git = "https://github.com/RIOT-OS/rust-riot-sys" }' >> .cargo/config.toml
+        echo '[patch."https://gitlab.com/etonomy/riot-module-examples/"]' >> .cargo/config.toml
+        echo 'riot-coap-handler-demos = { git = "http://gitlab.com/etonomy/riot-module-examples.git", branch = "riotwrappers-vfs-no-unpin" }' >> .cargo/config.toml
     - name: Pull cargo updates
       # No sense in running this in parallel -- this will download the index
       # and all relevant crates once, and after that, just make some notes in Cargo.lock
@@ -120,6 +125,7 @@ jobs:
         do
             echo "::group::Updating ${MANIF}"
             cargo update -p riot-sys -p riot-wrappers --aggressive --manifest-path $MANIF
+            cargo update -p riot-coap-handler-demos --aggressive --manifest-path $MANIF || true
             cargo fetch --manifest-path $MANIF
             cargo tree --manifest-path $MANIF
             echo "::endgroup::"