status: Fix "Developer" role (#101)

This commit is contained in:
Morph 2021-02-08 20:54:26 +08:00 committed by GitHub
parent 54b9f4f8e1
commit e0655d1cdd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -6,7 +6,7 @@ const fetchOptions = {
}; };
const repo = process.env.GITHUB_REPOSITORY || 'citra-emu/citra'; const repo = process.env.GITHUB_REPOSITORY || 'citra-emu/citra';
export const roles = ['Admins', 'Moderators', 'Developers']; export const roles = ['Admins', 'Moderators', 'Developer'];
export function command(message: discord.Message) { export function command(message: discord.Message) {
const pr_number = message.content.substr(message.content.indexOf(' ') + 1).replace(/\n/g, ''); const pr_number = message.content.substr(message.content.indexOf(' ') + 1).replace(/\n/g, '');
const url = `https://api.github.com/repos/${repo}/pulls/${pr_number}`; const url = `https://api.github.com/repos/${repo}/pulls/${pr_number}`;