Add GitHub workflow and script for counting monthly contributor points (#5147)

This commit is contained in:
Matiss Janis Aboltins
2025-06-14 13:18:40 +01:00
committed by GitHub
parent 180431f9ed
commit fbd6989a18
11 changed files with 591 additions and 24 deletions

View File

@@ -2,7 +2,7 @@ name: 'Close stale PRs'
on:
schedule:
- cron: '30 1 * * *'
workflow_dispatch: # Allow manual triggering
workflow_dispatch: # Allow manual triggering
jobs:
stale:
@@ -36,7 +36,7 @@ jobs:
days-before-close: 7
close-issue-message: 'This issue has been automatically closed because there have been no comments for 7 days after the "needs info" label was added. If you still need help, please feel free to reopen the issue with the requested information.'
remove-stale-when-updated: false
stale-pr-message: '' # Disable PR processing
close-pr-message: '' # Disable PR processing
days-before-pr-stale: -1 # Disable PR processing
days-before-pr-close: -1 # Disable PR processing
stale-pr-message: '' # Disable PR processing
close-pr-message: '' # Disable PR processing
days-before-pr-stale: -1 # Disable PR processing
days-before-pr-close: -1 # Disable PR processing