piscisaureus

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:

presci

import threading
import urllib2
import time, random

class GrabUrl(threading.Thread):
    def __init__(self, arg0):
        threading.Thread.__init__(self)
        self.host=arg0
    def run(self):
        k=random.randint(10,20)