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:
