PLFENG-1628: Correct github repository for gatein-portal