global/git
1
0
Fork 0
mirror of https://github.com/git/git.git synced 2026-04-04 14:00:10 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'wk/man-deny-current-branch-is-default-these-days'

Browse Source 
* wk/man-deny-current-branch-is-default-these-days:
  user-manual: typofix (ofthe->of the)
This commit is contained in:
Junio C Hamano
2013-02-25 08:26:59 -08:00
parent b3600c3628 50995edda6
commit 6368a71b81
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Documentation/user-manual.txt
View File

@@ -2006,7 +2006,7 @@ Note that the target of a "push" is normally a
<<def_bare_repository,bare>> repository. You can also push to a
repository that has a checked-out working tree, but a push to update the
currently checked-out branch is denied by default to prevent confusion.
See the description ofthe receive.denyCurrentBranch option
See the description of the receive.denyCurrentBranch option
in linkgit:git-config[1] for details.
As with `git fetch`, you may also set up configuration options to