Add label-gated CI and documentation dependency map#269

igerber merged 3 commits intomainigerber/diff-diff:mainfrom

process-improvementsigerber/diff-diff:process-improvementsCopy head branch name to clipboard