This does introduce a small security issue, in that a shell with expired AFS tokens on the machine running the mirroring script will be able to read the Humbug API key using /proc/pid/environ. I think this is fine -- you can steal the API key from a running process using ptrace anyway. (imported from commit c6fdb798294fb32d640823b409f3e46274ca01f4)  | 
			||
|---|---|---|
| .. | ||
| __init__.py | ||
| check-mirroring | ||
| feedback-bot | ||
| gcal-bot | ||
| humbug_trac.py | ||
| mit_subs_list.py | ||
| zephyr_mirror.py | ||