You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: tools/git/hooks/pre-push
+13-13Lines changed: 13 additions & 13 deletions
Original file line number
Diff line number
Diff line change
@@ -1,20 +1,20 @@
1
1
#!/usr/bin/env bash
2
2
#
3
-
# A git hook called by "git push" after it has checked the remote status, but before anything has been pushed.
4
-
#
5
-
# If this script exits with a non-zero status, nothing will be pushed.
3
+
# 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.
6
4
#
7
5
# This hook is called with the following parameters:
8
6
#
9
-
#$1 - name of the remote to which the push is being done
10
-
#$2 - URL to which the push is being done
7
+
#* `$1` - name of the remote to which the push is being done
8
+
#* `$2` - URL to which the push is being done
11
9
#
12
10
# If pushing without using a named remote, these arguments will be equal.
13
11
#
14
-
# Information about the commits which are being pushed is supplied as lines to stdin in the form:
12
+
# Information about the commits which are being pushed is supplied as lines to `stdin` in the form:
0 commit comments