Maintaining my own branch with git

[Steve O'Hara-Smith]

On Thu, 29 Apr 2021 14:10:55 +0200
Andrea Venturoli <ml at netfence.it> wrote:

> Should I pull or push with "-f"?

	Just in case I wasn't totally clear you should push -f to force the
changes you want into place. If the version on the server was the source of
truth at this point you would want to pull - git of course doesn't know
which is the source of truth so just says do one or the other.

-- 
Steve O'Hara-Smith                          |   Directable Mirror Arrays
C:\>WIN                                     | A better way to focus the sun
The computer obeys and wins.                |    licences available see
You lose and Bill collects.                 |    http://www.sohara.org/