message no. 182330
Posted by jhass in #github at 2020-06-12T18:33:50Z
so yeah, just git clone; optionally make a new branch with git checkout -b whatever; and git commit to your hearts content :)
Posted by jhass in #github at 2020-06-12T18:33:50Z