deploy: 0cd723208c

edge/contributing/coding-style/index.html

@@ -1342,7 +1342,7 @@
 <li><strong>Adjust your style of coding to the style that is already present</strong>! Even if you do not like it, this is due to consistency. There was a lot of work involved in making all scripts consistent.</li>
 <li><strong>Use <code>shellcheck</code> to check your scripts</strong>! Your contributions are checked by GitHub Actions too, so you will need to do this. You can <strong>lint your work with <code>make lint</code></strong> to check against all targets.</li>
 <li><strong>Use the provided <code>.editorconfig</code></strong> file.</li>
-<li>Use <code>/bin/bash</code> or <code>/usr/bin/envbash</code> instead of <code>/bin/sh</code>. Adjust the style accordingly.</li>
+<li>Use <code>/bin/bash</code> instead of <code>/bin/sh</code>. Adjust the style accordingly.</li>
 <li><code>setup.sh</code> provides a good starting point to look for.</li>
 <li>When appropriate, use the <code>set</code> builtin. We recommend <code>set -euEo pipefail</code> or <code>set -uE</code>.</li>
 </ol>