diff options
author | Joey Hess <joey@kitenet.net> | 2012-10-25 13:29:18 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-10-25 13:31:45 -0400 |
commit | 8a12e78e0bff680eb913ec2140da909da74040a0 (patch) | |
tree | dd6de1b2b52bdd4b6d05aae3cfb92d86b6ba849f /doc | |
parent | a63dabefa9f4c6f104b9180e7cb5d26f6cefc782 (diff) |
only use one push attribute
When pushing to multiple UUIDs, combine them all into a single push
attribute.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/design/assistant/xmpp.mdwn | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/design/assistant/xmpp.mdwn b/doc/design/assistant/xmpp.mdwn index 6d5384e43..d008d3fdc 100644 --- a/doc/design/assistant/xmpp.mdwn +++ b/doc/design/assistant/xmpp.mdwn @@ -42,11 +42,12 @@ using presence messages. These always mark it as extended away. To this, it adds its own tag as [extended content](http://xmpp.org/rfcs/rfc6121.html#presence-extended). The xml namespace is "git-annex" (not an URL because I hate wasting bandwidth). -To indicate it's pushed changes to a git repo, a client uses: +To indicate it's pushed changes to a git repo with a given UUID, a client uses: - <git-annex xmlns='git-annex' push="uuid" /> + <git-annex xmlns='git-annex' push="uuid[,uuid...]" /> -The push attribute can be repeated when the push was sent to multiple repos. +Multiple UUIDs can be listed when multiple clients were pushed. If the +git repo does not have a git-annex UUID, an empty string is used. ### security |