cbb6e1fae4
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. |
||
---|---|---|
.. | ||
Content | ||
Branch.hs | ||
BranchState.hs | ||
CatFile.hs | ||
CheckAttr.hs | ||
Content.hs | ||
Direct.hs | ||
Exception.hs | ||
Journal.hs | ||
Link.hs | ||
LockPool.hs | ||
Perms.hs | ||
Queue.hs | ||
Ssh.hs | ||
TaggedPush.hs | ||
UUID.hs | ||
Version.hs | ||
Wanted.hs |