Changed repo info a bit to point to our public repo