Removed all references to portal file in the git sync script, as the
portal is still a ways off.