Changed back to pivotal repo