git.mar77i.info Git

]> git.mar77i.info Git - admin/log

mar77i [Sun, 3 Mar 2024 23:55:00 +0000 (00:55 +0100)]

add hublib, minor cleanups in post-receive.sh

mar77i [Tue, 28 Nov 2023 04:08:10 +0000 (05:08 +0100)]

gitweb_configs.py: add and remove git repos in gitweb

mar77i [Mon, 27 Nov 2023 02:48:52 +0000 (03:48 +0100)]

remote_run.py: only re.match current Path.name

mar77i [Sun, 26 Nov 2023 22:39:08 +0000 (23:39 +0100)]

bail from update_system.sh unless we're root

mar77i [Sun, 26 Nov 2023 22:00:11 +0000 (23:00 +0100)]

add gitweb_configs updater

mar77i [Sun, 26 Nov 2023 17:32:01 +0000 (18:32 +0100)]

rewrite remote_as_root in python

mar77i [Sun, 26 Nov 2023 00:40:03 +0000 (01:40 +0100)]

initial commit

admin scripts