@Micah Tseng Yes, your GitHub, default branch. No need to worry about merging and the final repo yet.

@Boris Murmann Ah, thanks! Well…I actually already worried about it and successfully tested it. So the pre-check results are from the wrapper repo, not our design repo (though they are linked and tracked through version control). To make things easier on you, would you like me to rebase a new default branch in our design repo from the wrapper repo? Or is a HTTPS link to the wrapper repo sufficient? Let me know what’s easiest for you. I’m comfortable with dev ops and can do whatever.

The link you have provided is just fine. Thanks for doing this so thoroughly.

Perfect. Thank you! I will finish pushing the last bit up in the next day. Let me know if something looks funky or needs attention.