8000 tools: update github_reporter to 1.5.3 by nodejs-github-bot · Pull Request #49877 · nodejs/node · GitHub
  • [go: up one dir, main page]
    Skip to content

    tools: update github_reporter to 1.5.3 #49877

    New issue

    Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

    Sign up for GitHub

    By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

    Already on GitHub? Sign in to your account

    Jump to bottom
    Merged
    nodejs-github-bot merged 1 commit into from
    Sep 28, 2023
    Merged

    tools: update github_reporter to 1.5.3 #49877

    nodejs-github-bot merged 1 commit into from
    Sep 28, 2023
    +3 −2

    Conversation

    @nodejs-github-bot
    Copy link
    Collaborator
    @nodejs-github-bot nodejs-github-bot commented Sep 26, 2023

    This is an automated update of github_reporter to 1.5.3.

    @nodejs-github-bot nodejs-github-bot added the tools Issues and PRs related to the tools directory. label Sep 26, 2023
    @MoLow MoLow requested a review from GeoffreyBooth September 26, 2023 13:04
    @MoLow MoLow added the commit-queue Add this label to land a pull request using GitHub Actions. label Sep 26, 2023
    @nodejs-github-bot nodejs-github-bot removed the commit-queue Add this label to land a pull request using GitHub Actions. label Sep 28, 2023
    @nodejs-github-bot nodejs-github-bot merged commit 3f1936f into main Sep 28, 2023
    @nodejs-github-bot nodejs-github-bot deleted the actions/tools-update-github_reporter branch September 28, 2023 13:01
    @nodejs-github-bot
    Copy link
    Collaborator Author
    nodejs-github-bot commented Sep 28, 2023

    Landed in 3f1936f

    @GeoffreyBooth GeoffreyBooth mentioned this pull request Sep 28, 2023
    Merged
    @RafaelGSS RafaelGSS mentioned this pull request Oct 9, 2023
    Merged
    alexfernandez pushed a commit to alexfernandez/node that referenced this pull request Nov 1, 2023
    @nodejs-github-bot @alexfernandez
    tools: update github_reporter to 1.5.3
    ed28c8f 
    PR-URL: nodejs#49877
Reviewed-By: Moshe Atlow <moshe@atlow.co.il>
Reviewed-By: Geoffrey Booth <webadmin@geoffreybooth.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
    targos pushed a commit that referenced this pull request Nov 11, 2023
    @nodejs-github-bot @targos
    tools: update github_reporter to 1.5.3
    353a142 
    PR-URL: #49877
Reviewed-By: Moshe Atlow <moshe@atlow.co.il>
Reviewed-By: Geoffrey Booth <webadmin@geoffreybooth.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
    @targos targos mentioned this pull request Nov 12, 2023
    Merged
    @juanarbol juanarbol mentioned this pull request Dec 6, 2023
    Merged
    debadree25 pushed a commit to debadree25/node that referenced this pull request Apr 15, 2024
    @nodejs-github-bot @debadree25
    tools: update github_reporter to 1.5.3
    5990034 
    PR-URL: nodejs#49877
Reviewed-By: Moshe Atlow <moshe@atlow.co.il>
Reviewed-By: Geoffrey Booth <webadmin@geoffreybooth.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
    Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

    Reviewers

    @GeoffreyBooth GeoffreyBooth GeoffreyBooth approved these changes

    @lpinca lpinca lpinca approved these changes

    @MoLow MoLow MoLow approved these changes

    Assignees

    No one assigned

    Labels

    tools Issues and PRs related to the tools directory.

    Projects

    None yet

    Milestone

    No milestone

    Development

    Successfully merging this pull request may close these issues.

    5 participants

    @nodejs-github-bot @GeoffreyBooth @lpinca @MoLow
    0