[GRASS-user] Cannot pull from dev master branch

[Rich Shepard]

On Fri, 24 Nov 2023, Maris Nartiss wrote:

> If there are no changes you want to keep, just git reset --hard HEAD.

Māris,

Thank you. My use of git is quite simple so there's much I don't know.

Regards,

Rich