juli/OrcaSlicer
1
1
Fork 0
mirror of https://github.com/OrcaSlicer/OrcaSlicer.git synced 2026-05-16 10:02:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix Orca bot

Browse Source
This commit is contained in:
SoftFever
2024-02-11 12:07:07 +08:00
parent 083e7cd3d5
commit ef9ff99cea
1 changed files with 0 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/orca_bot.yml vendored
View File

@@ -57,10 +57,6 @@ jobs:
close-pr-label: not_planned close-pr-label: not_planned
# Remove stale label from PRs on updates # Remove stale label from PRs on updates
remove-pr-stale-when-updated: true remove-pr-stale-when-updated: true
# PR stale message
stale-issue-message: "Orca bot: this PR is stale because it has been open for 90 days with no activity."
# PR closure message
close-issue-message: "Orca bot: This PR was closed because it has been inactive for 7 days since being marked as stale."
# Delete branch after closing a stale PR # Delete branch after closing a stale PR
delete-branch: true delete-branch: true