git.mar77i.info Git

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

mar77i [Mon, 19 Aug 2024 22:52:54 +0000 (00:52 +0200)]

add elevator

mar77i [Wed, 10 Jul 2024 00:10:42 +0000 (02:10 +0200)]

add musicbox

mar77i [Mon, 20 May 2024 15:40:34 +0000 (17:40 +0200)]

clean up code, add ga-cli

mar77i [Wed, 27 Mar 2024 20:37:53 +0000 (21:37 +0100)]

add rcfiles, bigintmandel

mar77i [Tue, 19 Mar 2024 13:05:02 +0000 (13:05 +0000)]

add laptop-config

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