message no. 153758
Posted by nedbat in #github at 2016-10-18T17:40:03Z
Seveas: hmm, if I have to know the branch name, I could just checkout the branch, couldn't I?
Posted by nedbat in #github at 2016-10-18T17:40:03Z