[Agda] Agda library patch destination & _darcs/prefs/email

Samuel Bronson naesten at gmail.com
Fri May 23 19:47:32 CEST 2008


Nils, is having everyone just send patches to you the way you want to
handle library submissions? If so, why not put your email address in
_darcs/prefs/email under the publicly-accessible repository, so that
darcs will know to send patches to you and we won't have to keep
copying/pasting your email address there?


More information about the Agda mailing list