Merge branch 'patch-1' into 'master'

[ci skip] Fixed minor typo in workflow documentation

This change is self-explanatory.

See merge request !2503

doc/workflow/protected_branches.md

 # Protected branches
 
-Permission in GitLab are fundamentally defined around the idea of having read or write permission to the repository and branches.
+Permissions in GitLab are fundamentally defined around the idea of having read or write permission to the repository and branches.
 
 To prevent people from messing with history or pushing code without review, we've created protected branches.