Updating links to repositories, added GitHub mirror

As instructed, update of REPO section documentation.