Update DR-002-infra.md#1877

nick-hildebrant-etas wants to merge 1 commit intoeclipse-score:maineclipse-score/score:mainfrom

nick-hildebrant-etas:patch-1nick-hildebrant-etas/score:patch-1Copy head branch name to clipboard