957e742dfc
I decided to use the fallback push mode from the beginning for XMPP, since while it uses some ugly branches, it avoids the possibility of a normal push failing, and needing to pull and re-push. Due to the overhead of XMPP, and the difficulty of building such a chain of actions due to the async implementation, this seemed reasonable. It seems to work great! |
||
|---|---|---|
| .. | ||
| Buddies.hs | ||
| Client.hs | ||
| Git.hs | ||