Reputation: 4622
Here is the case; there is a repo on github that has not been updated quite a while. For some time people developed and stored sources on dropbox.
How do i update github repo: - without force push - without having to manually copy files from new version (dropbox) to pulled from github version?
Thanks and have a good weekend!
Upvotes: 1
Views: 49
Reputation: 1243
Do you mean only the sources have been stored on dropbox? Or have people been copying their entire directory structure (including the .git directory!) to dropbox?
If the former then you can't update github without manually copying files from dropbox, committing to a local repo then pushing to github.
If the latter then you can just copy the entire directory structure from dropbox to your local machine then push to github. But if this is the case how have the various people managed to merge their changes? I'd also be interested in why people developed this way rather than follow a more standard git workflow. See github's help pages for a standard approach to collaboration. And read Pro-Git.
Upvotes: 1