Update 2013-06-10-secure-env-in-pull-requests.md