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