diff options
Diffstat (limited to 'howto/update-hook-example.html')
| -rw-r--r-- | howto/update-hook-example.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/howto/update-hook-example.html b/howto/update-hook-example.html index 5f1216d37..956398014 100644 --- a/howto/update-hook-example.html +++ b/howto/update-hook-example.html @@ -735,7 +735,7 @@ asciidoc.install(); <body class="article">
<div id="header">
<h1>How to use the update hook</h1>
-<span id="revdate">2024-03-21</span>
+<span id="revdate">2024-03-25</span>
</div>
<div id="content">
<div id="preamble">
@@ -834,7 +834,7 @@ info "The user is: '$username'" if test -f "$allowed_users_file"
then
- rc=$(cat $allowed_users_file | grep -v '^#' | grep -v '^$' |
+ rc=$(grep -Ev '^(#|$)' $allowed_users_file |
while read heads user_patterns
do
# does this rule apply to us?
@@ -872,7 +872,7 @@ info "'$groups'" if test -f "$allowed_groups_file"
then
- rc=$(cat $allowed_groups_file | grep -v '^#' | grep -v '^$' |
+ rc=$(grep -Ev '^(#|$)' $allowed_groups_file |
while read heads group_patterns
do
# does this rule apply to us?
@@ -931,7 +931,7 @@ that JC can make non-fast-forward pushes on it.</p></div> <div id="footer">
<div id="footer-text">
Last updated
- 2024-03-21 16:29:00 PDT
+ 2024-03-25 17:25:12 PDT
</div>
</div>
</body>
|