README

This is initially a simple script to get all ids on github using the API, in order to later do some more interesting stuff with them.