43909723b3
So far, handling connecting to git-annex-shell notifychanges, and pulling immediately when a change is pushed to a remote. A little bit buggy (crashes after the first pull), but it already works! This commit was sponsored by Mark Sheppard. |
||
|---|---|---|
| .. | ||
| Types.hs | ||