modified git url: now on github