Skip to content

[nodegit] add the missing getRemoteNames decleration - #56899

Merged
typescript-bot merged 2 commits into
DefinitelyTyped:masterfrom
jmurzy:jmurzy-nodegit-patch-3
Nov 1, 2021
Merged

typescript-bot merged 2 commits into
DefinitelyTyped:masterfrom
jmurzy:jmurzy-nodegit-patch-3

Conversation

@jmurzy

@jmurzy jmurzy commented Oct 31, 2021

Copy link
Copy Markdown
Contributor

Please fill in this template.

Select one of these and delete the others:

If changing an existing definition:

@typescript-bot

typescript-bot commented Oct 31, 2021 •

Copy link
Copy Markdown
Contributor

@jmurzy Thank you for submitting this PR!

This is a live comment which I will keep updated.

1 package in this PR

Code Reviews

Because you edited one package and updated the tests (👏), I can help you merge this PR once someone else signs off on it.

You can test the changes of this PR in the Playground.

Status

  • ✅ No merge conflicts
  • ✅ Continuous integration tests have passed
  • ✅ Most recent commit is approved by type definition owners, DT maintainers or others

All of the items on the list are green. To merge, you need to post a comment including the string "Ready to merge" to bring in your changes.


Diagnostic Information: What the bot saw about this PR
{
  "type": "info",
  "now": "-",
  "pr_number": 56899,
  "author": "jmurzy",
  "headCommitOid": "4958cbeda79b0414845724089774f0da8c530eea",
  "lastPushDate": "2021-10-31T23:54:39.000Z",
  "lastActivityDate": "2021-11-01T01:49:30.000Z",
  "mergeOfferDate": "2021-11-01T01:17:53.000Z",
  "mergeRequestDate": "2021-11-01T01:49:30.000Z",
  "mergeRequestUser": "jmurzy",
  "hasMergeConflict": false,
  "isFirstContribution": false,
  "tooManyFiles": false,
  "popularityLevel": "Well-liked by everyone",
  "pkgInfo": [
    {
      "name": "nodegit",
      "kind": "edit",
      "files": [
        {
          "path": "types/nodegit/nodegit-tests.ts",
          "kind": "test"
        },
        {
          "path": "types/nodegit/repository.d.ts",
          "kind": "definition"
        }
      ],
      "owners": [
        "dolanmiu",
        "tniessen",
        "pvigier",
        "IGI-111",
        "DaGaMs",
        "julien-c",
        "jmurzy"
      ],
      "addedOwners": [],
      "deletedOwners": [],
      "popularityLevel": "Well-liked by everyone"
    }
  ],
  "reviews": [
    {
      "type": "approved",
      "reviewer": "dolanmiu",
      "date": "2021-11-01T01:17:16.000Z",
      "isMaintainer": false
    }
  ],
  "mainBotCommentID": 955815199,
  "ciResult": "pass"
}

@typescript-bot typescript-bot added the Author is Owner The author of this PR is a listed owner of the package. label Oct 31, 2021
@typescript-bot

Copy link
Copy Markdown
Contributor

🔔 @dolanmiu @tniessen @pvigier @IGI-111 @DaGaMs @julien-c — please review this PR in the next few days. Be sure to explicitly select Approve or Request Changes in the GitHub UI so I know what's going on.

@jmurzy

jmurzy commented Nov 1, 2021

Copy link
Copy Markdown
Contributor Author

Ready to merge

@typescript-bot

Copy link
Copy Markdown
Contributor

🛂 Hi @jmurzy,

I can't accept a pull request until all of the checks in the "Status" section of this comment are green. I will let you know once that happens.

Thanks, and happy typing!

@typescript-bot typescript-bot added Owner Approved A listed owner of this package signed off on the pull request. Self Merge This PR can now be self-merged by the PR author or an owner labels Nov 1, 2021
@typescript-bot

Copy link
Copy Markdown
Contributor

@jmurzy: Everything looks good here. I am ready to merge this PR (at 4958cbe) on your behalf whenever you think it's ready.

If you'd like that to happen, please post a comment saying:

Ready to merge

and I'll merge this PR almost instantly. Thanks for helping out! ❤️

(@dolanmiu, @tniessen, @pvigier, @IGI-111, @DaGaMs, @julien-c: you can do this too.)

@jmurzy

jmurzy commented Nov 1, 2021

Copy link
Copy Markdown
Contributor Author

Ready to merge

@typescript-bot
typescript-bot merged commit b8a7a73 into DefinitelyTyped:master Nov 1, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Author is Owner The author of this PR is a listed owner of the package. Owner Approved A listed owner of this package signed off on the pull request. Self Merge This PR can now be self-merged by the PR author or an owner

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants