#!/bin/sh exec python3 tools/check_public_tree.py