message no. 164857
Posted by wpbro in #github at 2017-03-04T22:25:02Z
nedbat: ok, but if someone resets git hard + that cleaner flag, the directories/extra repos would be wiped, right?
Posted by wpbro in #github at 2017-03-04T22:25:02Z