I am used to signing software with a different GnuPG key rather than with my personal one. I have added an option to "darcs push" allowing to use "--sign-as=KEYID" rather than "--sign". This passes "--local-user KEYID" to "gpg". Sam -- Samuel Tardieu -- sam at rfc1149.net -- http://www.rfc1149.net/sam