message no. 166495
Posted by kbs in #github at 2017-03-26T18:38:03Z
yes, though not knowing the state of your local repo, simply clone+push is another alternate that might be simple too
Posted by kbs in #github at 2017-03-26T18:38:03Z