Gitlab: a new release can happen only when VERSION.txt changes

🎉 Thank you for contributing!

Please make sure you already agreed to the CLA so this MR can be processed swiftly. Thanks!