Carlos H Brandt chbrandt

## github_clone_all.py
# Get the list of (<100) repositories from user 'fulano' from github
# Using curl, goes like:
#$ curl https://api.github.com/users/fulano/repos?per_page=100 > github_repos.json
#
import subprocess

with open('github_repos.json','r') as fp:
    import json
    repos = json.load(fp)

## dummy-web-server.py
#!/usr/bin/env python
"""
Very simple HTTP server in python.

Usage::
    ./dummy-web-server.py [<port>]

Send a GET request::
    curl http://localhost
	# Get the list of (<100) repositories from user 'fulano' from github
	# Using curl, goes like:
	#$ curl https://api.github.com/users/fulano/repos?per_page=100 > github_repos.json
	#
	import subprocess

	with open('github_repos.json','r') as fp:
	import json
	repos = json.load(fp)
	#!/usr/bin/env python
	"""
	Very simple HTTP server in python.

	Usage::
	./dummy-web-server.py [<port>]

	Send a GET request::
	curl http://localhost