Skip to content

Instantly share code, notes, and snippets.


Ionel Cristian Mărieș ionelmc

View GitHub Profile
View git-index.html
<a href="git+">Thing</a>
View gist:9749541
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):
ionelmc /
Created Jan 14, 2013 — forked from piscisaureus/
Git(hub) origin with all the pull requests

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 =

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
path_to_watch = os.path.abspath (sys.argv[1])
You can’t perform that action at this time.