ci: update deploy-docs authorized users

[mrossinek]

Summary

In order to deploy the documentation to the public URL, a Github action needs to be triggered manually. In order to avoid anyone being able to do this, the script which is being run asserts the username of the github.actor to be in a hard-coded list of authorized users.

This commit updates this list in accordance with the recent CODEOWNER changes.

I believe, that there must be a better way to handle/restrict access to who can trigger this action, but for the time being I will simply do this quick fix.

Details and comments

[coveralls]

Pull Request Test Coverage Report for Build 7006993017

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 86.768%

---

Totals
Change from base Build 7006698779:	0.0%
Covered Lines:	8767
Relevant Lines:	10104

---

💛 - Coveralls