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.
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
Fix types for dash for node-media-server #62491
Fix types for dash for node-media-server #62491
Conversation
For node-media-server
|
@princefishthrower Thank you for submitting this PR! This is a live comment which I will keep updated. 1 package in this PR
Code ReviewsBecause 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
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": 62491,
"author": "princefishthrower",
"headCommitOid": "6706202474bca0014bcb2a455aea26293133e00b",
"mergeBaseOid": "727bae0d5bc67bf017ff9746bb12c2a6a6eb8afa",
"lastPushDate": "2022-10-02T21:11:27.000Z",
"lastActivityDate": "2022-10-14T06:42:04.000Z",
"mergeOfferDate": "2022-10-14T06:41:56.000Z",
"mergeRequestDate": "2022-10-14T06:42:04.000Z",
"mergeRequestUser": "Tseberechts",
"hasMergeConflict": false,
"isFirstContribution": false,
"tooManyFiles": false,
"hugeChange": false,
"popularityLevel": "Well-liked by everyone",
"pkgInfo": [
{
"name": "node-media-server",
"kind": "edit",
"files": [
{
"path": "types/node-media-server/index.d.ts",
"kind": "definition"
},
{
"path": "types/node-media-server/node-media-server-tests.ts",
"kind": "test"
}
],
"owners": [
"Tseberechts"
],
"addedOwners": [
"princefishthrower"
],
"deletedOwners": [],
"popularityLevel": "Well-liked by everyone"
}
],
"reviews": [
{
"type": "approved",
"reviewer": "Tseberechts",
"date": "2022-10-14T06:41:07.000Z",
"isMaintainer": false
}
],
"mainBotCommentID": 1264043999,
"ciResult": "pass"
} |
|
🔔 @Tseberechts — please review this PR in the next few days. Be sure to explicitly select |
|
This pull request should resolve the issue raised in #62485 However, I'm not an expert with the EDIT: I dug into the source a little bit, it seems it's used at least to check if it is |
|
Re-ping @Tseberechts: This PR has been out for over a week, yet I haven't seen any reviews. Could someone please give it some attention? Thanks! |
|
@princefishthrower: Everything looks good here. I am ready to merge this PR (at 6706202) on your behalf whenever you think it's ready. If you'd like that to happen, please post a comment saying:
and I'll merge this PR almost instantly. Thanks for helping out! ❤️ (@Tseberechts: you can do this too.) |
|
Ready to merge |
For node-media-server
Please fill in this template.
npm test <package to test>.Select one of these and delete the others:
If adding a new definition:
.d.tsfiles generated via--declarationdts-gen --dt, not by basing it on an existing project.tslint.jsonshould contain{ "extends": "@definitelytyped/dtslint/dt.json" }, and no additional rules.tsconfig.jsonshould havenoImplicitAny,noImplicitThis,strictNullChecks, andstrictFunctionTypesset totrue.If changing an existing definition:
If removing a declaration:
notNeededPackages.json.