]> git.mar77i.info Git - admin/shortlog
admin
2024-10-19 mar77iremove some projects I don't care about right now
2024-09-30 mar77iadd chat repo
2024-08-19 mar77iadd elevator
2024-07-10 mar77iadd musicbox
2024-05-20 mar77iclean up code, add ga-cli
2024-03-27 mar77iadd rcfiles, bigintmandel
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