Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 1 of 1 for create_comment (0.05 sec)

  1. 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__":
    Registered: Sun Dec 28 07:19:09 UTC 2025
    - Last Modified: Tue Sep 30 05:56:53 UTC 2025
    - 4.4K bytes
    - Viewed (0)
Back to top