-
Beta Was this translation helpful? Give feedback.
Answered by
Fryguy
Jul 12, 2024
Replies: 1 comment 1 reply
-
I think we can consider this a bug - when we refresh the repository, we should prune branches that no longer exist. I've opened #23087 to track this. |
Beta Was this translation helpful? Give feedback.
1 reply
Answer selected by
Fryguy
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I think we can consider this a bug - when we refresh the repository, we should prune branches that no longer exist.
I've opened #23087 to track this.