mirror of
https://github.com/fosrl/pangolin.git
synced 2026-07-11 18:54:17 -05:00
[PR #3143] [MERGED] Bump actions/stale from 10.2.0 to 10.3.0 #21475
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/fosrl/pangolin/pull/3143
Author: @dependabot[bot]
Created: 5/25/2026
Status: ✅ Merged
Merged: 5/28/2026
Merged by: @oschwartz10612
Base:
main← Head:dependabot/github_actions/actions/stale-10.3.0📝 Commits (1)
166c832Bump actions/stale from 10.2.0 to 10.3.0📊 Changes
1 file changed (+1 additions, -1 deletions)
View changed files
📝
.github/workflows/stale-bot.yml(+1 -1)📄 Description
Bumps actions/stale from 10.2.0 to 10.3.0.
Release notes
Sourced from actions/stale's releases.
Commits
eb5cf3achore: upgrade dependencies and bump version to 10.3.0 (#1335)db5d06aEnhancement: ignore stale labeling events (#1311)Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore this major versionwill close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this minor versionwill close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this dependencywill close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.