>>>>> "Joey" == Joey Hess <[EMAIL PROTECTED]> writes:
Joey> I put a line in my .mrconfig enabling a 'mr push':
Joey> git_push = git push "$@"
Joey> Perhaps it would be better if mr simply implements this for
Joey> all DCVS? Non-distributed VCS repos would be skipped with
Joey> an error, but it doesn't make sense to talk about pushing
Joey> those anyway.
Either solution is fine with me. I still don't think the current
behaviour of mr commit makes sense; maybe just don't make pushing the
default (i.e. make commit = record by default).
David
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
