5 # this is hardcoded; change it if needed
10 # ----------------------------------------------------------------------
12 # this is the specific example in commit 32056e0 of g2
16 try
"DEF POK = !/DENIED/; !/failed to push/";
19 @private-owners = u1 u2
20 @experienced-private-owners = u3 u4
23 C = @private-owners @experienced-private-owners
31 try
"ADMIN_PUSH set1; !/FATAL/" or die text
();
35 glt clone u1 file:///u1/r1
36 /Initialized empty Git repository in .*/u1/r1.git//
39 glt push u1 origin master
45 glt push u1 origin br1
46 /\\* \\[new branch\\] br1 -> br1/
50 git reset --hard HEAD^
52 glt push u1 origin +br1
53 /\\+ refs/heads/br1 u1/r1 u1 DENIED by refs//
54 /error: hook declined to update refs/heads/br1/
58 glt push u1 origin :br1
63 glt clone u3 file:///u3/r1
64 /Initialized empty Git repository in .*/u3/r1.git//
67 glt push u3 origin master
73 glt push u3 origin br1
74 /\\* \\[new branch\\] br1 -> br1/
78 git reset --hard HEAD^
80 glt push u3 origin +br1
82 /\\+ .......\\.\\.\\........ br1 -> br1 \\(forced update\\)/
85 glt push u3 origin :br1