Skip to content

[leaflet] Support optional altitude in LatLngTuple - #66805

Closed
someonewithpc wants to merge 1 commit into
DefinitelyTyped:masterfrom
someonewithpc:henrythasler-master
Closed

someonewithpc wants to merge 1 commit into
DefinitelyTyped:masterfrom
someonewithpc:henrythasler-master

Conversation

@someonewithpc

Copy link
Copy Markdown
Contributor

Please fill in this template.

Select one of these and delete the others:

If changing an existing definition:

  • Provide a URL to documentation or source code which provides context for the suggested changes: <<Leaflet Docs>>
  • If this PR brings the type definitions up to date with a new version of the JS library, update the version number in the header.

@someonewithpc

Copy link
Copy Markdown
Contributor Author

Replaces #66803, fixing some parts of that PR

@typescript-bot

Copy link
Copy Markdown
Contributor

@someonewithpc 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 are still running
  • 🕐 Most recent commit is approved by type definition owners or DT maintainers

Once every item on this list is checked, I'll ask you for permission to merge and publish the changes.


Diagnostic Information: What the bot saw about this PR
{
  "type": "info",
  "now": "-",
  "pr_number": 66805,
  "author": "someonewithpc",
  "headCommitOid": "6dddef1451c299c7f43e9cc5fb84de43b856adb9",
  "mergeBaseOid": "827a90da69a79a2cfdb56ed46a53daee596c3fb5",
  "lastPushDate": "2023-09-23T14:41:27.000Z",
  "lastActivityDate": "2023-09-23T14:41:59.000Z",
  "hasMergeConflict": false,
  "isFirstContribution": false,
  "tooManyFiles": false,
  "hugeChange": false,
  "popularityLevel": "Popular",
  "pkgInfo": [
    {
      "name": "leaflet",
      "kind": "edit",
      "files": [
        {
          "path": "types/leaflet/index.d.ts",
          "kind": "definition"
        },
        {
          "path": "types/leaflet/leaflet-tests.ts",
          "kind": "test"
        }
      ],
      "owners": [
        "alejo90",
        "atd-schubert",
        "mcauer",
        "ronikar",
        "life777",
        "henrythasler",
        "captain-igloo",
        "someonewithpc"
      ],
      "addedOwners": [],
      "deletedOwners": [],
      "popularityLevel": "Popular"
    }
  ],
  "reviews": [],
  "ciResult": "unknown"
}

@typescript-bot typescript-bot added Popular package This PR affects a popular package (as counted by NPM download counts). Author is Owner The author of this PR is a listed owner of the package. labels Sep 23, 2023
@typescript-bot

Copy link
Copy Markdown
Contributor

🔔 @alejo90 @atd-schubert @mcauer @ronikar @life777 @henrythasler @captain-igloo — 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.

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. Popular package This PR affects a popular package (as counted by NPM download counts).

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants