HowTo: create a release

1. Merge the current master int a release branch

   git fetch --all
   
   # checkout branches
   git checkout -B "release/3.0" "origin/release/3.0"
   git checkout -B master "origin/master"
   
   # merge
   git merge --no-ff --strategy=ours "release/3.0"

2. ❗️ Carefully review the changes

3. Push the changes and tag them.
   ⚠️ You need to set the correct <tag_name> and <tag_version> (e.g. "4.8.0-preview6.190603.7")

   # switch branches and push
   git branch -D "release/3.0"
   git checkout -b "release/3.0"
   git push -u --force --recurse-submodules=check --progress "origin" "release/3.0"
   git tag -a -m "<tag_version>" "<tag_name>" -- HEAD
   git push --progress "origin" tag "<tag_name>"