Anthony Cowley acowley

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 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 }

	#!/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.

	"""