Merge develop into infrahub-develop - #1247

Merged

infrahub-github-bot-app[bot] merged 4 commits into

infrahub-developfrom

Aug 14, 2026

Commits on Jul 29, 2026

docs: expand Python typing guide with real-world protocol examples
iddocohen
committed
13b589c
docs: drop redundant type annotation in filters() protocol example
iddocohen
committed
581d30e

Commits on Aug 14, 2026

Merge pull request #1218 from opsmill/docs/python-typing-real-world-examples
petercrocker
authored
05438d8
Merge pull request #1246 from opsmill/stable
infrahub-github-bot-app[bot]
authored
32fa981