build fixes
This commit is contained in:
parent
32d3cffc4c
commit
e6ce54de82
4 changed files with 20 additions and 6 deletions
|
@ -25,7 +25,7 @@ import qualified Remote
|
|||
thisThread :: ThreadName
|
||||
thisThread = "Merger"
|
||||
|
||||
{- This thread watches for changes to .git/refs/heads/synced/*,
|
||||
{- This thread watches for changes to .git/refs/heads/synced/,
|
||||
- which indicate incoming pushes. It merges those pushes into the
|
||||
- currently checked out branch. -}
|
||||
mergeThread :: ThreadState -> IO ()
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue