ports 2020Q3 branch not present?

[Ulrich Spörlein]

On Fri, 2020-07-10 at 21:24:16 +0000, Rene Ladan wrote:
> Hello,
> 
> I noticed that ports 2020Q3 branched is not present in the git ports tree
> at cgit-beta.freebsd.org
> 
> It was branched from subversion HEAD as r541028 on 2020-07-02 12:04:18 UTC
> The other quarterly branches all seem to be present.

Indeed, thanks for the report! I changed the location the branches are
being pushed to and messed this up, actually.

Now, the big question is whether we want these branches under refs/heads
so that everyone will pull them by default (rather wasteful?) or whether
we stick them someplace else, so people checking them out will need to
add a custom "fetch" line (like we do this for vendor branches over in
src).

Thoughts? I'm strongly favoring the latter.

Cheers
Uli