I have a question, why do we need this workflow file here ?
it seems like we dont anymore. Lets delete it.
Should we delete the gh-pages branch that already exists?
because the GitHub workflow will create a branch with the same name once we merge this PR
Done
I have a question, why do we need this workflow file here ?