actions/pr-deployment: Fix deployment URL

[teodutu]

The URL was http://open-education-hub.github.io/.... This was incorrect for forked repos as it referred to the original owner: OEH. In addition, it was using the http scheme instead of https. This was less of an issue because the http endpoint redirects to https.

This commit fixes both of the aforementioned problems by dynamically obtaining the owner uwing ${{ github.repository_owner }} and by using https instead of http.

[github-actions]

Published at http://open-education-hub.github.io/operating-systems/19/

[Alex-deVis]

Published at http://open-education-hub.github.io/operating-systems/19/

Shouldn't this PR affect the running action too?

[teodutu]

Published at http://open-education-hub.github.io/operating-systems/19/

Shouldn't this PR affect the running action too?

@gabrielmocanu, you know how this fucked up shit works. Should it?

[Alex-deVis]

@teodutu, check the workflow file [1]. It shows that your change is applied, but it does not have the expected result.

[1] https://github.com/cs-pub-ro/operating-systems/actions/runs/6693059404/workflow?pr=19

[teodutu]

You're right. I'll investigate.

[github-actions]

Published at http://open-education-hub.github.io/operating-systems/19/

[gabrielmocanu]

This event runs in the context of the base of the pull request, rather than in the context of the merge commit, as the pull_request event does. This prevents execution of unsafe code from the head of the pull request that could alter your repository or steal any secrets you use in your workflow. This event allows your workflow to do things like label or comment on pull requests from forks. Avoid using this event if you need to build or run code from the pull request.

https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request_target

[gabrielmocanu]

@teodutu no need for investigation, it works.
Check this out: #17 (comment)

[gabrielmocanu]

Here to save your day, as always.