| <html> | |
| <body> | |
| <a href="git+https://github.com/dstufft/packaging.git#egg=packaging-1.0">Thing</a> | |
| </body> | |
| </html> |
| from time import sleep | |
| from tornado.httpserver import HTTPServer | |
| from tornado.ioloop import IOLoop | |
| from tornado.web import Application, asynchronous, RequestHandler | |
| from multiprocessing.pool import ThreadPool | |
| _workers = ThreadPool(10) | |
| def run_background(func, callback, args=(), kwds={}): | |
| def _callback(result): |
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:
| import os | |
| import sys | |
| import time | |
| import shutil | |
| import win32con | |
| import win32file | |
| import winnt | |
| try: | |
| path_to_watch = os.path.abspath (sys.argv[1]) |