Deployment workflow and personal access token

[haoranpb]

I have set up the GitHub action for deployment workflow, but the personal access token will expire.

Let's try to share permission to create it in the next meeting, should be a lot easier to figure out in person.

More documentation needs to be added after that.