You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There is a github workflow that watches the publish branch. Most PRs for development should be made against the main branch, and then we'll push main to publish when we tag a release. This is a manual process for now.