pxt
pxt copied to clipboard
Make GitHub Integration Work with Default Branches of Any Name
We currently assume a default "master" branch in quite a lot of our code. In a few places, we also check for "main", but it'd be good to make it so the whole system worked regardless of the default branch name.
I made a run at this a while back, but was deemed too risky a change. Here's the PR: https://github.com/microsoft/pxt/pull/8880