Joey Hess cbb6e1fae4 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.		2013-03-06 16:29:19 -04:00
..
Buddies.hs	upper-case first char of buddy name	2012-11-12 13:27:30 -04:00
Client.hs	factor out Creds	2012-11-14 19:32:27 -04:00
Git.hs	tag xmpp pushes with jid	2013-03-06 16:29:19 -04:00