]> git.mar77i.info Git - admin/shortlog
admin
2024-03-27 mar77iadd rcfiles, bigintmandel master
2024-03-19 mar77iadd laptop-config
2024-03-04 mar77iadd hublib, minor cleanups in post-receive.sh
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