mudhorn/oh-my-posh
1
0
Fork 0
mirror of https://github.com/JanDeDobbeleer/oh-my-posh.git synced 2025-02-02 05:41:10 -08:00
Code Issues Actions Packages Projects Releases Wiki Activity

chore: ignore bot pull requests

Browse source
This commit is contained in:
Jan De Dobbeleer 2022-11-27 14:13:28 +01:00
parent f9c77334b4
commit af6c2b19f3
No known key found for this signature in database
GPG key ID: D9FE64756B9A61E6
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

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