[tor-commits] [tor/master] Short python script to lint the changes files