Skip to content

Instantly share code, notes, and snippets.

Avatar
🙃
wat

Ionel Cristian Mărieș ionelmc

🙃
wat
View GitHub Profile
View git-index.html
<html>
<body>
<a href="git+https://github.com/dstufft/packaging.git#egg=packaging-1.0">Thing</a>
</body>
</html>
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
ionelmc / pr.md
Created Jan 14, 2013 — forked from piscisaureus/pr.md
Git(hub) origin with all the pull requests
View pr.md

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 = git@github.com: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:

View autosync.py
import os
import sys
import time
import shutil
import win32con
import win32file
import winnt
try:
path_to_watch = os.path.abspath (sys.argv[1])
You can’t perform that action at this time.