diff options
| author | Junio C Hamano <gitster@pobox.com> | 2023-07-25 12:05:23 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-07-25 12:05:23 -0700 |
| commit | 88d08c342af961c5fb57d7ea5f51233770f06639 (patch) | |
| tree | dcc44c2f7942f3ab7e16126d986c9d6c799eaaf4 /commit-graph.c | |
| parent | The thirteenth batch (diff) | |
| parent | push: don't imply that integration is always required before pushing (diff) | |
| download | git-88d08c342af961c5fb57d7ea5f51233770f06639.tar.gz git-88d08c342af961c5fb57d7ea5f51233770f06639.zip | |
Merge branch 'ah/advise-force-pushing'
Help newbies by suggesting that there are cases where force-pushing
is a valid and sensible thing to update a branch at a remote
repository, rather than reconciling with merge/rebase.
* ah/advise-force-pushing:
push: don't imply that integration is always required before pushing
remote: don't imply that integration is always required before pushing
wt-status: don't show divergence advice when committing
Diffstat (limited to 'commit-graph.c')
0 files changed, 0 insertions, 0 deletions