Merge develop into infrahub-develop#852

Closed

infrahub-github-bot-app[bot] wants to merge 9 commits intoinfrahub-developfrom

Commits on Feb 20, 2026

new Claude command /pre-ci running locally a subset of the commands that will be executed by the CI.
polmichel
committed

Commits on Feb 23, 2026

new Claude command /feedback to identify missing project documentation
polmichel
committed
would be more convenient to have all the results at once after /pre-ci command since they are independent checks
polmichel
committed

Commits on Feb 24, 2026

Commits on Feb 25, 2026

Commits on Feb 26, 2026

IHS-156 / #497 : support from_pool attributes on Python SDK queries (#850)
polmichel
authored