diff options
| author | Junio C Hamano <gitster@pobox.com> | 2018-05-23 14:38:21 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-05-23 14:38:22 +0900 |
| commit | 6b0f1d9c475038a54343c007193f1c81ae82b959 (patch) | |
| tree | 84098db8adc4edb0802e8e7bc95539c6a2d78b2b /Documentation/git-filter-branch.txt | |
| parent | 4e0086bea1dd58193b05ff4b5b0ac8819334e359 (diff) | |
| parent | 76a8788c141e9d4e2713acaa7886475fb6b27ca5 (diff) | |
| download | git-6b0f1d9c475038a54343c007193f1c81ae82b959.tar.gz | |
Merge branch 'nd/doc-header'
Doc formatting fix.
* nd/doc-header:
doc: keep first level section header in upper case
Diffstat (limited to 'Documentation/git-filter-branch.txt')
| -rw-r--r-- | Documentation/git-filter-branch.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Documentation/git-filter-branch.txt b/Documentation/git-filter-branch.txt index 1d4d2f8604..e6f08ab189 100644 --- a/Documentation/git-filter-branch.txt +++ b/Documentation/git-filter-branch.txt @@ -230,7 +230,7 @@ rewrite, the exit status is `2`. On any other error, the exit status may be any other non-zero value. -Examples +EXAMPLES -------- Suppose you want to remove a file (containing confidential information @@ -406,7 +406,7 @@ git filter-branch --index-filter \ -Checklist for Shrinking a Repository +CHECKLIST FOR SHRINKING A REPOSITORY ------------------------------------ git-filter-branch can be used to get rid of a subset of files, @@ -445,7 +445,7 @@ warned. (or if your git-gc is not new enough to support arguments to `--prune`, use `git repack -ad; git prune` instead). -Notes +NOTES ----- git-filter-branch allows you to make complex shell-scripted rewrites |