A Cider application that integrates Paprika with GitHub pull requests.