HuggingFaceDocBuilderDev makes documents for PR in forks

[shirayu]

Describe the bug

HuggingFaceDocBuilderDev makes documents for PR in forks like this https://github.com/shirayu/diffusers/pull/1
The URL is https://moon-ci-docs.huggingface.co/docs/diffusers/pr_1/en/index.

Reproduction

See https://github.com/shirayu/diffusers/pull/1

Logs

No response

System Info

None

[patrickvonplaten]

Hey @shirayu,

Would you prefer if the bot doesn't run? I don't fully understand the issue here - it's a nice thing to be able to look into the docs no?
Maybe also cc @sgugger just FYI

[sgugger]

You can remove the worfklow in your fork, and the job won't run.

[shirayu]

Hi, @patrickvonplaten , @sgugger

I would like to know what happens if more than one person creates PRs with the same number.
If a PR with a certain number already exists in the doc, will it be overwritten if another person creates a PR with the same number in a different repository?

[sgugger]

Probably yes

[shirayu]

OK. If so, they can be overwritten by others unintentionally.
Anyway I got it.
Thank you.