Our you could just write a wrapper around darcs push, which did
logging
before after the push.
A wrapper around darcs push adds some complications, and things might
go wrong trying to log the action after the push (it needs to be done
after the push, since that's the only moment you can find out what
patches were actually pushed by the pusher).
I solved it in another way: i just added a wrapper around darcs on
the server of the central repository, which intercepts 'apply', and
logs the Unix user who did the apply + the log in a file.
thanks,
Remko
_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users
