Organization renaming: fix value danger file.

This commit is contained in:
Benoit Marty 2023-12-13 09:54:34 +01:00
parent ffe4983fda
commit 97f2e98067

View file

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