Remove deployments action

[KD-7]

I have written an action that deletes the deployments in our repo, this fixes #18. Since for now we won't be using that feature should we integrate this functionality or not?

[yuxqiu]

What's the purpose of this PR? I don't quite get it. Where can we find our previous deployments?

[KD-7]

What's the purpose of this PR? I don't quite get it. Where can we find our previous deployments?

Thats the point, previously we deployed our documentation using a github-pages environment. When these deployments fail or are no longer in use they leave a history/log on our repo. This action can be configured to clean environments/failed deployments etc.
I used this action to get rid of the deployments, (there are no more banners under the PRs saying this branch hasnt been deployed) and the github-pages environment.

The question is whether we should keep this action in the future or whether its not necessary as we are using readthedocs now.

[yuxqiu]

What's the purpose of this PR? I don't quite get it. Where can we find our previous deployments?

Thats the point, previously we deployed our documentation using a github-pages environment. When these deployments fail or are no longer in use they leave a history/log on our repo. This action can be configured to clean environments/failed deployments etc. I used this action to get rid of the deployments, (there are no more banners under the PRs saying this branch hasnt been deployed) and the github-pages environment.

The question is whether we should keep this action in the future or whether its not necessary as we are using readthedocs now.

So, the deployments have been removed. Now, we need to decide if we need to keep this action?

[KD-7]

What's the purpose of this PR? I don't quite get it. Where can we find our previous deployments?

Thats the point, previously we deployed our documentation using a github-pages environment. When these deployments fail or are no longer in use they leave a history/log on our repo. This action can be configured to clean environments/failed deployments etc. I used this action to get rid of the deployments, (there are no more banners under the PRs saying this branch hasnt been deployed) and the github-pages environment.
The question is whether we should keep this action in the future or whether its not necessary as we are using readthedocs now.

So, the deployments have been removed. Now, we need to decide if we need to keep this action?

Exactly

[yuxqiu]

What's the purpose of this PR? I don't quite get it. Where can we find our previous deployments?

Thats the point, previously we deployed our documentation using a github-pages environment. When these deployments fail or are no longer in use they leave a history/log on our repo. This action can be configured to clean environments/failed deployments etc. I used this action to get rid of the deployments, (there are no more banners under the PRs saying this branch hasnt been deployed) and the github-pages environment.
The question is whether we should keep this action in the future or whether its not necessary as we are using readthedocs now.

So, the deployments have been removed. Now, we need to decide if we need to keep this action?

Exactly

In my opinion, we don't need to keep this because we have deleted all previous deployments and won't be deploying anything in the near future. Even if we need to use this one day, I think we can easily set up actions and clean up deployments as the action file can be found from our PR history.