Pick the root directory from your repository

A procedure's root directory was a free-text field: a typo such as a dash instead of an underscore went unnoticed until every build failed, and nothing pointed to the redeploy that applies the fix.

• Added suggestions under the root directory setting: the procedure folders found on the repository's default branch, one click to fill the field.
• Added a warning when no pyproject.toml exists at the typed path. Saving stays possible, for a folder that arrives in the next commit.
• Added a Redeploy action to the confirmation after saving, which rebuilds the latest production commit with the new root directory.