mudhorn/oh-my-posh
1
0
Fork 0
mirror of https://github.com/JanDeDobbeleer/oh-my-posh.git synced 2024-12-28 20:39:40 -08:00
Code Issues Actions Packages Projects Releases Wiki Activity

chore: do not credit bot users

Browse source
This commit is contained in:
Jan De Dobbeleer 2022-12-02 08:03:49 +01:00
parent 47e1f466ce
commit a3fb4443fa
No known key found for this signature in database
GPG key ID: D9FE64756B9A61E6
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/contributors.yml vendored
View file

@ -19,7 +19,7 @@ jobs:
const { repo: { owner, repo } } = context;
const pr = context.payload.pull_request;
if (pr.user.id === 2492783 || pr.user.id === 46447321) {
if (pr.user.id === 2492783 || pr.user.type === "Bot") {
console.log('No credit for maintainer/bot, stop processing');
return;
}