5 # this is hardcoded; change it if needed
10 # ----------------------------------------------------------------------
13 try
"DEF POK = !/DENIED/; !/failed to push/";
20 try
"ADMIN_PUSH set1; !/FATAL/" or die text
();
26 glt clone u1 file:///aa
30 glt push u1 origin HEAD
32 POK; /\\* \\[new branch\\] HEAD -> master/
36 glt push u1 origin HEAD
42 glt push u1 origin HEAD
46 # push to branch dd,ee ok
47 glt push u1 origin master:dd,ee
49 POK; /\\* \\[new branch\\] master -> dd,ee/
51 # push to branch dd=ee fail
52 glt push u1 origin master:dd=ee
53 /invalid characters in ref or filename: \\'refs/heads/dd=ee/
63 try
"ADMIN_PUSH set1; !/FATAL/" or die text
();
69 glt clone u1 file:///aa
73 glt push u1 origin HEAD
75 POK; /\\* \\[new branch\\] HEAD -> master/
79 glt push u1 origin HEAD
83 # push file aa=bb fail
85 glt push u1 origin HEAD
89 # push to branch dd,ee ok
90 git reset --hard HEAD^
92 glt push u1 origin master:dd,ee
94 POK; /\\* \\[new branch\\] master -> dd,ee/
96 # push to branch dd=ee fail
97 glt push u1 origin master:dd=ee
98 /invalid characters in ref or filename: \\'refs/heads/dd=ee/