IPython project git repo mining