100644 blob db17c67314fe0ce113ba390f4619962a3a177c1f	gen_boards_catalog.py
100644 blob 9a28b591f29f663c18771525b6227d167c561229	gen_devicetree_rest.py
100644 blob 3678d0e3ea9f40e09f9a5afa377c46d0d509cb8e	gen_helpers.py
100644 blob 87d54e5032ecabba4fa9f1ee0c6f49af294543d1	redirects.py