Maintaining my own branch with git

Steve O'Hara-Smith steve at
Thu Apr 29 12:19:43 UTC 2021

On Thu, 29 Apr 2021 14:10:55 +0200
Andrea Venturoli <ml at> 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.                 |

More information about the freebsd-questions mailing list