The Portals Repository is Public

The Portals repo is now public and available at https://github.com/portals-project/portals.