emilandDevin <158243242+devin-ai-integration[bot]@users.noreply.github.com> 31d6c91ca6 fix: add User-Agent header to _download in install_tools ...

dl.gitea.com returns 403 to Python's default urllib User-Agent,
causing Docker image builds to fail when installing tea CLI.

Generated with [Devin](https://devin.ai)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>

2026-08-03 16:00:41 +02:00

..

unit

fix: add User-Agent header to _download in install_tools

2026-08-03 16:00:41 +02:00

__init__.py

feat: extract reusable dev/CI tools from GRM into devx package

2026-06-22 17:01:20 +02:00