Skip to content

Instantly share code, notes, and snippets.


Ionel Cristian Mărieș ionelmc

Block or report user

Report or block ionelmc

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
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.