]> git.mar77i.info Git - admin/log
admin
12 months agogitweb_configs.py: add and remove git repos in gitweb
mar77i [Tue, 28 Nov 2023 04:08:10 +0000 (05:08 +0100)]
gitweb_configs.py: add and remove git repos in gitweb

12 months agoremote_run.py: only re.match current Path.name
mar77i [Mon, 27 Nov 2023 02:48:52 +0000 (03:48 +0100)]
remote_run.py: only re.match current Path.name

12 months agobail from update_system.sh unless we're root
mar77i [Sun, 26 Nov 2023 22:39:08 +0000 (23:39 +0100)]
bail from update_system.sh unless we're root

12 months agoadd gitweb_configs updater
mar77i [Sun, 26 Nov 2023 22:00:11 +0000 (23:00 +0100)]
add gitweb_configs updater

12 months agorewrite remote_as_root in python
mar77i [Sun, 26 Nov 2023 17:32:01 +0000 (18:32 +0100)]
rewrite remote_as_root in python

12 months agoinitial commit
mar77i [Sun, 26 Nov 2023 00:40:03 +0000 (01:40 +0100)]
initial commit