3 ms·

Only a minor suggestion: git worktrees is a semi-recent addition that may be nicer than your git archive setup