message no. 182329
Posted by jhass in #github at 2020-06-12T18:33:08Z
so just because you'll usually have branches of the same name in both your local repo and the remote one, it's not the same pointer thingy
Posted by jhass in #github at 2020-06-12T18:33:08Z