I am using Github repositories to manage my application code. I have several branches that are not being used anymore, so I deleted them in Github. However, these branches still appear in Anvil Editor selectors. This is creating a noise in my editor, as it is difficult to find the right branches that I want to work.
I also didn’t find a way to delete the branches using Anvil Editor as well.
In this screenshot, the majority of these branches don’t exist anymore in my Github repository:
Hi @renne,
That’s odd! (And that display is definitely unpleasant, but that’s a separate issue for now.) Two questions:
Is it possible for you to replicate this “github deletions don’t replicate to the editor” issue in a smaller test app you can play with (and might be able to give us access to so we can play with without disrupting your production app?)
You ought to be able to delete a branch from Anvil by right-clicking on the branch name and choosing “Delete branch” from the pop-up menu. The branch labels are all squished over to the side right now, on account of the display issue from earlier, but let’s check they’re deletable first.
