Squashed 'scripts/' changes from 0f82602..614f468

614f468 Also make the git ci script executable

git-subtree-dir: scripts
git-subtree-split: 614f46802b9f2ebb8877e862ee49f16e61689a92
'[scripts subtree] Merging scripts into master'