message no. 181672
Posted by nedbat in #github at 2020-06-02T23:52:52Z
cos: no. you deleted them locally. origin still has them (probably). You still have your local idea of origin's branch. that's what "origin/the-branch" means.