Closed schwern closed 10 years ago
In the normal case, if there's a git repository with the proper remote set then it's faster to do the pull and not bother checking to see if the Github repo exists first.
In the normal case, if there's a git repository with the proper remote set then it's faster to do the pull and not bother checking to see if the Github repo exists first.