diff options
author | 2013-03-06 16:29:19 -0400 | |
---|---|---|
committer | 2013-03-06 16:29:19 -0400 | |
commit | dc82128f6f0ffef9f6973baed3ad63d89802c898 (patch) | |
tree | 93ff21057d04f9d1c48e4c9e2fa75de092dc1908 /.gitignore | |
parent | 49b88039e597ec761227d00ddf125f8ebe5c6a4f (diff) |
tag xmpp pushes with jid
This fixes the issue mentioned in the last commit.
Turns out just collecting UUID of clients behind a XMPP remote is
insufficient (although I should probably still do it for other reasons),
because a single remote repo might be connected via both XMPP and local
pairing. So a way is needed to know when a push was received from any
client using a given XMPP remote over XMPP, as opposed to via ssh.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions