How do I prune the Github repo on anvil?

Anvil Q&A
1

I’ve been messing (a bit too aggressively) within GitHub and now I have all these branches on Anvil that I want to get rid of. They’re all gone on my GitHub account but even if I right click and delete on Anvil the repo goes for a few seconds and comes back.

I think I need to be able to do the prune command in anvil?

image

2

I believe this is starting to cause me issues in selecting version in app dependencies too.

Does anyone have any suggestions on how to remove these from Anvil (GitHub has them removed) right clicking only shows it as deleted until refreshed.

I suspect the issue is because the branch names contain invalid characters (for Anvil) causing the UI to optimistically update but then the server never does?

3

Hi @masikh,

Have you tried cloning the app locally and then deleting the remote branches from there?

4

Hi Brooke,

Thanks for responding.

Upon your suggestion I SSH’d into the git repo for Anvil and managed to delete all that noise. Thank you.

I still think you have a bug that prevents users from doing it in the UI and not syncing up with the remotes when they delete it (ignoring the deletion of branches deleted in GitHub).

1 Like
5

I’m glad you were able to delete the branches! I’ll raise an issue about deleting branches from within Anvil. / is an invalid character in Anvil branch names (I’ve been caught out by this too), so I do think that you are right about that causing the issue.