Hi Mauricio, * Mauricio <[email protected]> [090126 20:37]: > Adding changes to an already commited record is > a problem. If I have a record I want to update but > I don't remember if I have already pulled it to > someone, can darcs tell me that?
Yes, although it is a bit awkward maybe: $ darcs push --dry-run -p 'my special patch name' remoterepo If it says nothing to push, you did not distribute it to that repo. HTH Christian
pgpYdv4VFSY2b.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
