Edit: repository is still located at arturbosch/de...
# detekta
Artur Bosch
04/11/2020, 6:48 PMEdit: 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.
👍 1
❤️ 1
👌 1
g
gammax
04/11/2020, 10:16 PMCan’t we just redirect
<http://detekt.github.io|detekt.github.io><http://detekt.github.io/detekt|detekt.github.io/detekt>a
Artur Bosch
04/12/2020, 10:03 PMYep, 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?
g
gammax
04/12/2020, 10:05 PMI 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/detektdetekt/detekt.github.ioa
Artur Bosch
04/12/2020, 10:10 PMThe deployment could be done with Github actions once a day. However we also check if a PR changes public documentation and fail the build.
g
gammax
04/12/2020, 11:29 PMHowever 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
master5 Views