]>
git.mar77i.info Git - admin/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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