[marl] Repoint HEAD_REF to `main`#11953

Closed

ben-clayton wants to merge 1 commit intomicrosoft:masterfrom

ben-clayton:marl-main

Commits on Jun 17, 2020

[marl] Repoint HEAD_REF to `main`
ben-clayton
committed