]> git.mar77i.info Git - admin/shortlog
admin
2023-11-28 mar77igitweb_configs.py: add and remove git repos in gitweb
2023-11-27 mar77iremote_run.py: only re.match current Path.name
2023-11-26 mar77ibail from update_system.sh unless we're root
2023-11-26 mar77iadd gitweb_configs updater
2023-11-26 mar77irewrite remote_as_root in python
2023-11-26 mar77iinitial commit