create_comment - Code Search

Sort Score
Num 10 results
Language All

Results 1 - 1 of 1 for create_comment (0.06 seconds)

The search processing time has exceeded the limit. The displayed results may be partial.

scripts/deploy_docs_status.py

        if (
            comment.body.startswith(header)
            and comment.user.login == "github-actions[bot]"
        ):
            comment.edit(message)
            break
    else:
        issue.create_comment(message)

    logging.info("Finished")


if __name__ == "__main__":

Created: Sun Apr 05 07:19:11 GMT 2026

- Last Modified: Tue Sep 30 05:56:53 GMT 2025

- 4.4K bytes

- Click Count (0)

Search Options

scripts/deploy_docs_status.py