|
|
|
|
|
|
by jameshart
3016 days ago
|
|
|
Since the OP never mentioned a need to use 'git pull', I assume the 10% of the time it didn't work was when other people had gone and corrupted the repository by pushing their own commits. Clearly that's not something we want to have to deal with. |
|
|