Squashed 'scripts/' changes from a62531f..0f82602

0f82602 Make git ci executable

git-subtree-dir: scripts
git-subtree-split: 0f8260201e76711bf06f1a1ce998ffe124234aef
'[scripts subtree] Merging scripts into master'