Problem description
Branches in replit git are unable to pull from github.
Expected behavior
if a new branch is added in github, replit should pull it and make it available to edit.
Actual behavior
if a new branch is added in github, replit has no idea it exists.
Steps to reproduce
Create a repl, connect it to a github repository, make a new branch in github, and try to switch to that branch in the git tab.
Browser
Chrome
OS
ChromeOS
Device if mobile
ChromeOS
Plan
free