Building graph for chenglou/pretext...This may take up to a minute for large repos