Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 3 of 3 for createComment (0.07 sec)

  1. .github/workflows/check-bad-merge.yml

              script: |
                const output = `
                Some bad merge is found:
                \`\`\`
                ${{ env.OUTPUT }}
                \`\`\`
                `;
                github.rest.issues.createComment({
                  issue_number: context.issue.number,
                  owner: context.repo.owner,
                  repo: context.repo.repo,
                  body: output
    Registered: Wed Nov 06 11:36:14 UTC 2024
    - Last Modified: Fri Oct 11 18:32:33 UTC 2024
    - 1.7K bytes
    - Viewed (0)
  2. scripts/deploy_docs_status.py

        if links:
            message += "\n\n### Modified Pages\n\n"
            message += "\n".join([f"* {link}" for link in links])
    
        print(message)
        use_pr.as_issue().create_comment(message)
    
        logging.info("Finished")
    
    
    if __name__ == "__main__":
    Registered: Sun Nov 03 07:19:11 UTC 2024
    - Last Modified: Fri Aug 09 15:52:41 UTC 2024
    - 3.1K bytes
    - Viewed (0)
  3. .github/actions/notify-translations/app/main.py

                settings=settings,
                discussion_number=discussion_number,
                after=last_edge.cursor,
            )
        return comment_nodes
    
    
    def create_comment(*, settings: Settings, discussion_id: str, body: str):
        data = get_graphql_response(
            settings=settings,
            query=add_comment_mutation,
            discussion_id=discussion_id,
            body=body,
    Registered: Sun Nov 03 07:19:11 UTC 2024
    - Last Modified: Mon Jul 29 23:35:07 UTC 2024
    - 12.4K bytes
    - Viewed (0)
Back to top