100755 blob e3107be5293c4f401db2592b0ffac223a6bbca44	deploy-docs.sh
100755 blob ebea37216020643b650b6f2b00d12735698237ec	get-milestone-contributors.py
100755 blob b62954839f8f40ad196b36c89c5484f197af9d33	make-redirects.py