tree a5431f117a92a2173396b7f772b02e6ca3597b44
parent b13037b0c55b90a41d644cd9d55500906252a4be
author Scott Todd <scotttodd@google.com> 1697734773 -0700
committer GitHub <noreply@github.com> 1697734773 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJlMWB1CRBK7hj4Ov3rIwAAPa4IAHXgIvKD8z0cPVxXYVjYjjy/
 CV49rxOIQAGKXp3YUT6ag9oYdOP7jXm5mzgcotgEa98HZiPAFpcc+uDAVrKye2AJ
 Hpn9NiaJ+EwYO8IHiqCeR7mycSsbpm/wlwzW6sjSW4uTEbex5SnlB6+ERDabeTzh
 Vu6JL7z9GzonV0glsAikoDiVZ4e0O1WaGNENa/hr3lEfk0I0+k4xePSbMejpwaP1
 gzkcYoaVkfW1GmkQ1bBtc+kDYtYaA4JP193EpZAA1PF0X+yOuNqKO7PYknOK8uIG
 5Ikk3PXX2sCo9PXx5ap64CBq7hQQHsqicj0MCg10uYZ+OvewKBCzn3oZSPmdrBM=
 =35p4
 -----END PGP SIGNATURE-----
 

Run markdownlint on some files under `docs/developers/*`. (#15168)

Progress on https://github.com/openxla/iree/issues/15116 (prep for
moving some/all of these files into `docs/website/`)

Notable formatting changes applied by following the lint rules:

* No skipping header levels, e.g. `## h2 <br> #### h4`, with no `### h3`
* No loose links, e.g. `www.google.com` --> `<www.google.com>`
* Wrap lines at 80 characters
* Set language on all code blocks (or explicitly say just "text")
* Indentation, spacing, and line break standardization
* Drop leading `$` characters from "shell" codeblocks (ehhhh)