6 Commits

Author SHA1 Message Date
Joris Vink
e8da0574c3 remove post-receive hook on copy 2023-01-05 22:57:14 +01:00
Joris Vink
0a0416b7a7 finally, use git.kore.io in the hook. 2023-01-05 09:26:46 +01:00
Joris Vink
7608312120 use stagit instead of stagit-index. 2023-01-05 09:25:56 +01:00
Joris Vink
5d69879d87 Shuffle stuff around in the hook. 2023-01-05 09:25:06 +01:00
Joris Vink
d677632732 Add the old update stuff into the hook. 2023-01-05 09:23:56 +01:00
Joris Vink
7632705c64 Version control the post-receive githook. 2023-01-05 09:14:57 +01:00