File push_docs_to_repo.py

tools/ci/push_docs_to_repo.py:None–None

#!/usr/bin/env python3

import argparse
import os