| {-# LANGUAGE | |
| GADTs | |
| , KindSignatures | |
| , RankNTypes | |
| , TupleSections | |
| , TypeOperators | |
| #-} | |
| module Generics.Morphism where | |
| import Control.Arrow |
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:
| {-# LANGUAGE TypeFamilies, FlexibleContexts, TypeOperators, UndecidableInstances, GeneralizedNewtypeDeriving #-} | |
| module Numeric.Vector.Space where | |
| import Data.Functor.Representable.Trie hiding (Entry) | |
| import Data.Key (Adjustable(..), Key) | |
| import qualified Data.Key as Key | |
| import qualified Data.Heap as Heap | |
| import Data.Heap (Heap, Entry(..)) | |
| import qualified Data.List.NonEmpty as NonEmpty | |
| import Data.List.NonEmpty (NonEmpty(..)) |
