Hello,

On Thu, Aug 22, 2019 at 10:35:16PM +0200, Uwe Kleine-König wrote:
> In contrast to git:// https:// is usually not blocked in corporate
> firewalls and provides some anonymity.

If this URL does not start with git:// is it still recognized as git
repo url to be cloned from by ptxdist?

Greets
Alex

-- 
/"\ ASCII RIBBON | »With the first link, the chain is forged. The first
\ / CAMPAIGN     | speech censured, the first thought forbidden, the
 X  AGAINST      | first freedom denied, chains us all irrevocably.«
/ \ HTML MAIL    | (Jean-Luc Picard, quoting Judge Aaron Satie)