Locate the section for your github remote in the .git/config file. It looks like this:
[remote "origin"]
fetch = +refs/heads/*:refs/remotes/origin/*
url = [email protected]:joyent/node.git
Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this:
| #!/usr/bin/env python | |
| """Simple HTTP Server With Upload. | |
| This module builds on BaseHTTPServer by implementing the standard GET | |
| and HEAD requests in a fairly straightforward manner. | |
| """ |
| {-# LANGUAGE GADTs #-} | |
| {-# LANGUAGE Rank2Types #-} | |
| {-# LANGUAGE UndecidableInstances #-} | |
| {-# LANGUAGE ImplicitParams #-} | |
| module FixMuNu where | |
| --newtype Fix f = Fix { runFix :: f (Fix f) } | |
| --newtype Mu f = Mu { runMu :: forall r. (f r -> r) -> r } |
| #! /bin/bash | |
| thedate=$(date "+%Y-%m-%d-%Hh-%Mm-%Ss") | |
| thecommit=$(git log --format=%H HEAD^1..HEAD) | |
| if git status | grep "Changes"; then | |
| echo "the are uncommited changes in the repo. We can't benchmark that."; | |
| exit 1; |
This simple script will take a picture of a whiteboard and use parts of the ImageMagick library with sane defaults to clean it up tremendously.
The script is here:
#!/bin/bash
convert "$1" -morphology Convolve DoG:15,100,0 -negate -normalize -blur 0x1 -channel RBG -level 60%,91%,0.1 "$2"
| -- in reply to http://www.reddit.com/r/haskell/comments/21mja6/make_lllegal_state_transitions_unrepresentable/ | |
| -- | |
| -- We implement a tiny language with three commands: Open, Close, and Get. | |
| -- The first Get after an Open returns 1, the second Get returns 2, and so on. | |
| -- | |
| -- Get is only valid while the state is open, and | |
| -- Open must always be matched by a Close. | |
| -- We enforce both restrictions via the type system. | |
| -- | |
| -- There are two valid states: Opened and Closed. |
| -- | simple/basic Scala -> Haskell translation of Runar's presentation | |
| -- | (https://dl.dropboxusercontent.com/u/4588997/ReasonablyPriced.pdf) | |
| -- | trying to use minimal extensions and magic. | |
| -- | (earlier I had a version using MultiParamTypeClasses for Runar's | |
| -- | Inject class, but scraped it opting for simplicity) | |
| -- | my question: what do we lose by moving towards simplicity? | |
| -- | Future work: use DataKinds, TypeOperators, and potentially TypeFamilies | |
| -- | to maintain and automate the folding of types in Coproduct. | |
| {-# LANGUAGE Rank2Types, DeriveFunctor #-} |
| #!/bin/bash -e | |
| name=$(sed -n -e 's/^[nN]ame:\s\+\(.\+\)/\1/p' *.cabal) | |
| old_ver=$(sed -n -e 's/^[vV]ersion:\s\+\(.\+\)/\1/p' *.cabal) | |
| has_docs=1 | |
| grep -i '^Library' *.cabal || has_docs=0 | |
| echo "Package name: $name" | |
| echo "Current version: $old_ver" | |
| echo "Has documentation: $has_docs" |
| {-# LANGUAGE DeriveFunctor #-} | |
| {-# LANGUAGE MultiParamTypeClasses #-} | |
| {- | |
| Explores Free Monads (DSLs) and Cofree Comonads (interpreters) and | |
| their relationship. | |
| Most of the code in this file comes from (1) below. Only minor | |
| modifications are made - semantics are preserved. |
| ;;; sow.el --- Variable commands for scrolling the other window. | |
| ;; Copyright (C) 2016 Andreas Politz | |
| ;; Author: Andreas Politz <[email protected]> | |
| ;; Keywords: extensions, frames | |
| ;; This program is free software; you can redistribute it and/or modify | |
| ;; it under the terms of the GNU General Public License as published by | |
| ;; the Free Software Foundation, either version 3 of the License, or |
