Chrome extension integrating pivotal tracker with github repository