Ah, probably so, thanks!
On Sat, Mar 9, 2019 at 6:05 PM Brandon Allbery <allbery.b@gmail.com> wrote:
>
> I think the public name is pointed to the staging site because the main one is down for the trac to github migration.
>>> > For now I've just done "git config --global http.sslverify false"
>> > temporarily to do the pull. Perhaps this is Shayne Fletcher's cheeky
>> > workaround? :)