dep/Initial exploration of database integration8 years ago lib/Initial exploration of database integration8 years ago scripts/Use workOn in ghcid-this-lib script8 years ago skeleton/Merge remote-tracking branch 'origin/master' into db8 years ago .gitattributesMark ./migration as linguist-generated as well8 years ago .gitignoreSimplified Obelisk.CLI API (#19)8 years ago .gitmodulesConvert all submodules to thunks9 years ago CONTRIBUTING.mdAdd CONTRIBUTING.md9 years ago README.mdAdd missing deployment section to TOC8 years ago default.nixMerge remote-tracking branch 'origin/master' into db8 years ago hydra.jsonAdd hydra.json8 years ago jobsets.nixjobsets.nix: work around broken GitHub status semantics8 years ago release.nixDon't test migration work, since it's not yet ready8 years ago