CI: Add header and cleanup scripts

requested review from @fpruvost

assigned to @faverge

added 4 commits

• 64e4d5c5 - ci: Add headers to CI scripts and cleanup coding style
• 69e51f94 - tools: Fix check_header to consider scripts in .gitlab directory
• c2327819 - tools: Fix update_release.sh to define version number
• 01838f73 - Update Changelog

Compare with previous version

added 3 commits

• 9b9b1fc2 - tools: Fix check_header to consider scripts in .gitlab directory
• f282e992 - tools: Fix update_release.sh to define version number
• 7e86f96e - Update Changelog

Compare with previous version

added 4 commits

• 451ca1f8 - ci: Add headers to CI scripts and cleanup coding style
• 2bbbf6a4 - tools: Fix check_header to consider scripts in .gitlab directory
• e627e4a8 - tools: Fix update_release.sh to define version number
• d9d2163a - Update Changelog

Compare with previous version

approved this merge request

approved this merge request

merged

mentioned in commit 60ac4673