Just an FYI, whatever was done to the repository since the previous git transition, it could not be pulled over an existing checkout of the GIT repository especially if any files were modified. Even after removing the modified files, git demanded removal of some unmodified files as well and then still failed. So I did a clean checkout and I'm spending my afternoon doing diffs of modified files and merging them by hand.
Whatever it was that caused it, I fervently hope that it never has to happen again, and that further updates of the git repository will be more normal. _______________________________________________ boinc_dev mailing list [email protected] http://lists.ssl.berkeley.edu/mailman/listinfo/boinc_dev To unsubscribe, visit the above URL and (near bottom of page) enter your email address.
