Skip to content

Instantly share code, notes, and snippets.

🙃
wat

Ionel Cristian Mărieș ionelmc

🙃
wat
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
<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.