Merge develop into infrahub-develop#852

Open

infrahub-github-bot-app[bot] wants to merge 8 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