Scripts and actions to auto-upload typeshed stubs to PyPI - View it on GitHub