Hi Mike! Happy Halloween! Say, what is this scare for in buildAndPushRelease.py? I know you added it (well, 10 years ago!).
print(' chmod...')
run('chmod -R a+rX-w .')
This seems unnecessary to me - I realize it's to prevent modifications in
the future but... you know - why? And it requires a sudo or a chmod to wipe
a candidate release. Is this something you think is necessary?
D.
