Skip to content

Commit 3e7f028

Browse files
committed
Update documentation
1 parent 116e142 commit 3e7f028

File tree

5 files changed

+5
-5
lines changed

5 files changed

+5
-5
lines changed

tools/git/hooks/post-merge

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
#
33
# A git hook called by `git merge`, which afters when a `git pull` is performed on a local repository.
44
#
5-
# This hook is called with the following parameters:
5+
# This hook is called with the following arguments:
66
#
77
# * `$1` - status flag specifying whether or not the merge being done is a squash merge
88
#

tools/git/hooks/pre-push

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
#
33
# A git hook called by `git push` after it has checked the remote status, but before anything has been pushed. If this script exits with a non-zero status, nothing will be pushed.
44
#
5-
# This hook is called with the following parameters:
5+
# This hook is called with the following arguments:
66
#
77
# * `$1` - name of the remote to which the push is being done
88
# * `$2` - URL to which the push is being done

tools/lint/travis-conf/lint

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
#
33
# Script to lint a [Travis CI][1] configuration file.
44
#
5-
# This script is called with the following parameters:
5+
# This script is called with the following arguments:
66
#
77
# * `$1` - absolute file path of the configuration file
88
#

tools/scripts/update_contributors

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
#
33
# Generates a CONTRIBUTORS file.
44
#
5-
# This script is called with the following parameters:
5+
# This script is called with the following arguments:
66
#
77
# * `$1` - output file path
88

tools/test-cov/scripts/coverage_report_name

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
#
33
# Script to generate a coverage report name.
44
#
5-
# This script is called with the following parameters:
5+
# This script is called with the following arguments:
66
#
77
# * `$1` - base directory containing instrumented source code
88
# * `$2` - test directory

0 commit comments

Comments
 (0)