Organization renaming: fix value danger file.

This commit is contained in:
Benoit Marty 2023-12-13 09:54:34 +01:00
parent 406e641fcd
commit b08b747abf

View file

@ -107,11 +107,11 @@ if (allowList.includes(user)) {
signoff_unneeded("allow-list")
} else {
// github.api.rest.orgs.checkMembershipForUser({
// org: "vector-im",
// org: "element-hq",
// username: user,
// }).then((result) => {
github.api.rest.teams.getMembershipForUserInOrg({
org: "vector-im",
org: "element-hq",
team_slug: "vector-core",
username: user,
}).then((result) => {