Ports tree have been migrated to git

[Chris]

On 2021-05-01 13:08, Kurt Jaeger wrote:
> Hi!
> 
>> > Right now, for reasons that are unclear to me, I still have some
>> > local commit hanging around in that tree that I can't get removed.
> [...]
...
> 
> which still is not the state I want to be in, because now git
> shows me
> 
> 1f182d137defe95f4b4b46a3003f203957021a9d
> 
> again. I'm really lost here 8-( Looks more and more like
> 
> https://xkcd.com/1597/
WOOT! :-)

Git -- Source Management like it's 1972!
-- sccs(1)