Search Options

Display Count
Sort
Preferred Language
Advanced Search

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

  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__":
    Created: 2026-04-05 07:19
    - Last Modified: 2025-09-30 05:56
    - 4.4K bytes
    - Click Count (0)
Back to Top