Edit: repository is still located at arturbosch/detekt and the website at <https://arturbosch.github...

# detekt

[Artur Bosch]

Edit: repository is still located at arturbosch/detekt and the website at https://arturbosch.github.io/detekt.
It is currently not possible to move the repo to the detekt organization as we generate our documentation from the source code and GitHub pages requires us to open a new repo for the url detekt.github.io.

[gammax]

Can’t we just redirect <http://detekt.github.io|detekt.github.io> to <http://detekt.github.io/detekt|detekt.github.io/detekt> ?

[Artur Bosch]

Yep, this would be a valid option.
Links would contain two times detekt like in https://detekt.github.io/detekt/pages/kdoc/detekt-api/index.html but thats okay?

[gammax]

I think it’s fine. Definitely an improvements from what we have now 😄 I think we can also automate the deployment of the docs output from detekt/detekt to detekt/detekt.github.io somehow

[Artur Bosch]

The deployment could be done with Github actions once a day. However we also check if a PR changes public documentation and fail the build.

[gammax]

However we also check if a PR changes public documentation and fail the build.

I don’t get this. Are we currently doing so? IIRC not right? We could just re-deploy on every push to master and we should be fine right?