Video: merge develop into master in GitLab example

Merge develop into master using GitLab merge requests with CI checks reviews conflict resolution and release tagging