Subject: git pull warns of http redirection

From: Royce Strange <[email-masked]>
Date: Tue, 16 Jun 2020 21:37:04 -0500

Hello.

Looks like Gábor Boskovits helped Bengt Richter resolve his issue.

Going to go ahead and close.