John Wiegley

At the moment gitlib is focused on intra-repository operations, but not inter-repository, so it really knows nothing about pulling in general. However, in the gitlib-cmdline backend, you'll find some functions...

@kuznero I'm sorry, but I've never tried it, so I have no better information at this point than you do. I think you might have better luck trying to build...

Thanks, Austin! I've been meaning to get everything working with Coq 8.7.

This is exactly what I needed today, in order get metadata from Org-mode properties, rather than a Yaml block.

No, not presently.

I'm currently building `gitlib` on Travis, which works for 8.0, 8.2 and 8.4. There was a release made just a week ago to address the `unliftIO` issue. Can you show...

It sounds like the lower-bounds for git-monitor need to be increased, since what's on Hackage should build given a clean `~/.cabal`.

I will change this PR so that the `if` test is inside the obelisk branch that I'm using, rather than happening the way it does here.

If this passes our CI, I'd happily accept such a PR, thank you.

@conao3 Understandable, Naoya, please let me know if you have a compatible change ready anytime in the future.