Re: resync ports?

From: Dan Mahoney (Ports) <freebsd_at_gushi.org>
Date: Wed, 27 Sep 2023 20:12:53 UTC
You’re looking for git reset —hard



https://git-scm.com/docs/git-reset

-Dan

> On Sep 27, 2023, at 12:41 PM, Ede Wolf <listac@nebelschwaden.de> wrote:
> 
> Hello,
> 
> I had to make a change to a makefile to make that port compile. Now I am wondering how to get the original makefile back, in a way that it is controlled by git again?
> 
> Somehow I expected git pull to work like rsync, but it is obviously not.
> 
> The question that emerges, is there a more resourcefriendly way to get my portstree back in sync with git without a new full checkout?
> 
> Thanks
> 
> Ede