message no. 181673
Posted by cos in #github at 2020-06-02T23:55:27Z
I deleted all these branches locally, yes. So why would origin still have most of them, but be missing that one where the tag is? Maybe I can figure it out but it seems puzzling.