Relocate infra to $CODE/infra; keep $CODE as the workspace root#54

krystophny wants to merge 7 commits into

mainitpplasma/code:mainfrom

chore/relocate-infraitpplasma/code:chore/relocate-infraCopy head branch name to clipboard