git.gnu.io has moved to IP address 184.108.40.206 -- please double check where you are logging in.
We don't guess the current profile anymore if the value of the profile === -1
Also sets $this->scoped for all ScopingNoticeStream inheritors, which just
like in an Action can be null if we're not scoped in any way (logged in).
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org