Skip to content

Remove contributors with deleted accounts#65817

Merged
gabritto merged 3 commits intomasterfrom
bust-ghosts-0ae8800830
Jun 19, 2023
Merged

Remove contributors with deleted accounts#65817
gabritto merged 3 commits intomasterfrom
bust-ghosts-0ae8800830

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@typescript-bot
Copy link
Copy Markdown
Contributor

typescript-bot commented Jun 19, 2023

@github-actions Thank you for submitting this PR!From one bot to another, beep bloop boople bloop.

This is a live comment which I will keep updated.

3 packages in this PR

Code Reviews

Because this PR edits multiple packages, it can be merged once it's reviewed by a DT maintainer.

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

Status

  • ✅ No merge conflicts
  • ❓ Continuous integration tests have gone missing
  • 🕐 A DT maintainer needs to approve changes which affect more than one package

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": 65817,
  "author": "github-actions",
  "headCommitOid": "912c3613025d2a347e3e7a525055329142b0fc23",
  "mergeBaseOid": "0ae880083093f2fc9458af5e886fbed6b92c04b0",
  "lastPushDate": "2023-06-19T00:10:06.000Z",
  "lastActivityDate": "2023-06-19T08:48:22.000Z",
  "hasMergeConflict": false,
  "isFirstContribution": false,
  "tooManyFiles": false,
  "hugeChange": false,
  "popularityLevel": "Well-liked by everyone",
  "pkgInfo": [
    {
      "name": "discord-rpc",
      "kind": "edit",
      "files": [
        {
          "path": "types/discord-rpc/index.d.ts",
          "kind": "definition"
        }
      ],
      "owners": [
        "lolPants",
        "dylhack",
        "k3rn31p4nic",
        "bdashore3",
        "HanchaiN"
      ],
      "addedOwners": [],
      "deletedOwners": [
        "lolPants"
      ],
      "popularityLevel": "Well-liked by everyone"
    },
    {
      "name": "zwjsbridge",
      "kind": "edit",
      "files": [
        {
          "path": "types/zwjsbridge/index.d.ts",
          "kind": "definition"
        }
      ],
      "owners": [
        "shlyren",
        "jungzl"
      ],
      "addedOwners": [],
      "deletedOwners": [
        "jungzl"
      ],
      "popularityLevel": "Well-liked by everyone"
    },
    {
      "name": "zwlog-browser",
      "kind": "edit",
      "files": [
        {
          "path": "types/zwlog-browser/index.d.ts",
          "kind": "definition"
        }
      ],
      "owners": [
        "jungzl"
      ],
      "addedOwners": [
        "DefinitelyTyped"
      ],
      "deletedOwners": [
        "jungzl"
      ],
      "popularityLevel": "Well-liked by everyone"
    }
  ],
  "reviews": [
    {
      "type": "changereq",
      "reviewer": "Jungzl",
      "date": "2023-06-19T08:48:22.000Z"
    },
    {
      "type": "approved",
      "reviewer": "dylhack",
      "date": "2023-06-19T01:19:28.000Z",
      "isMaintainer": false
    }
  ],
  "mainBotCommentID": 1596317758,
  "ciResult": "missing"
}

@typescript-bot typescript-bot added Edits Owners This PR adds or removes owners Edits multiple packages Untested Change This PR does not touch tests labels Jun 19, 2023
@typescript-bot
Copy link
Copy Markdown
Contributor

🔔 @lolPants @dylhack @k3rn31p4nic @bdashore3 @HanchaiN @shlyren @Jungzl — 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.

@typescript-bot typescript-bot added the Owner Approved A listed owner of this package signed off on the pull request. label Jun 19, 2023
@typescript-bot typescript-bot added Revision needed This PR needs code changes before it can be merged. and removed Owner Approved A listed owner of this package signed off on the pull request. labels Jun 19, 2023
gabritto and others added 2 commits June 19, 2023 13:21
Co-authored-by: Jungzl <35426360+Jungzl@users.noreply.github.com>
Co-authored-by: Jungzl <35426360+Jungzl@users.noreply.github.com>
@gabritto gabritto merged commit c9181ea into master Jun 19, 2023
Desplandis pushed a commit to Desplandis/DefinitelyTyped that referenced this pull request Jul 3, 2023
* Remove contributors with deleted accounts #no-publishing-comment

* Update types/zwjsbridge/index.d.ts

Co-authored-by: Jungzl <35426360+Jungzl@users.noreply.github.com>

* Update types/zwlog-browser/index.d.ts

Co-authored-by: Jungzl <35426360+Jungzl@users.noreply.github.com>

---------

Co-authored-by: TypeScript Bot <typescriptbot@microsoft.com>
Co-authored-by: Gabriela Araujo Britto <gabrielaa@microsoft.com>
Co-authored-by: Jungzl <35426360+Jungzl@users.noreply.github.com>
@jakebailey jakebailey deleted the bust-ghosts-0ae8800830 branch October 19, 2023 02:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Edits multiple packages Edits Owners This PR adds or removes owners Revision needed This PR needs code changes before it can be merged. Untested Change This PR does not touch tests

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants