| Here's my situation: 1. I have a repo on my local machine and a copy of it (created with darcs put (version information below) on a server. 2. I found that some of the changes made on the local copy had not been propagated to the server. 3. I ran darcs check on the server copy, all was well. 4. I ran darcs check on the local copy and it found a hunk that had not been recorded somehow. 5. I ran darcs repair on the local and it made all well. 6. I ran darcs push again in an attempt to get the updates to the server and it said that that were "no recorded local changes to push". I'm a darcs newbie and expect that the repository problem was due to my errors but now that I've fixed the problem, how to get darcs to propagate the repair. In this case I can erase and start over, but that doesn't seem like a good general solution <smile>. TIA. Darcs version information:
-- Gary Warren King metabang.com |
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
