On Oct 20, 2009, at 18:21:04, Matt Mackall wrote: > Except remote: tells you about -both- push and pull. Here neither is > needed. Ah. I didn't know that, since you didn't say it and the original proposal was just for push. A simple solution that would also extend the theme would be to have both push: and pull: lines.