Closed njzjz closed 6 months ago
Right. We just reject the changes so it works but we should post a message on the PR.
Yeah it might be worth putting in the docs and then the message can link to the docs
Where in the code do we reject the changes?
We have to or the push to the repo fails. It is in main maybe? Or in the rerender model
Sorry, understand why
Was asking where (in the code)
Trying to figure out where we can make the GH comment happen
We can add a comment to the rerender error.
When the GitHub Actions files need to be updated, and the web service action doesn't have permission, it doesn't give any messages. The contributors may easily ignore the fact that they should rerender and push the repository locally.
Ideally, a comment should be made in this case, notifying the contributors that they need to update these files manually.
xref: https://github.com/conda-forge/pytorch-cpu-feedstock/pull/224#issuecomment-1994975034