[PR #2107] [MERGED] add no stalebot exception #2501

Closed
opened 2025-12-29 03:21:33 +01:00 by adam · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/juanfont/headscale/pull/2107
Author: @kradalby
Created: 9/5/2024
Status: Merged
Merged: 9/5/2024
Merged by: @kradalby

Base: mainHead: kradalby/no-stale-label


📝 Commits (1)

  • 543ca7d add no stalebot exception

📊 Changes

1 file changed (+1 additions, -0 deletions)

View changed files

📝 .github/workflows/stale.yml (+1 -0)

📄 Description

allows us to give certain issues with no-stale-bot

Summary by CodeRabbit

  • New Features
    • Introduced a new configuration option for the stale bot, allowing issues labeled with "no-stale-bot" to be exempt from inactivity checks. This improves issue management by preventing important discussions from being automatically closed.

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/juanfont/headscale/pull/2107 **Author:** [@kradalby](https://github.com/kradalby) **Created:** 9/5/2024 **Status:** ✅ Merged **Merged:** 9/5/2024 **Merged by:** [@kradalby](https://github.com/kradalby) **Base:** `main` ← **Head:** `kradalby/no-stale-label` --- ### 📝 Commits (1) - [`543ca7d`](https://github.com/juanfont/headscale/commit/543ca7dfb846386283308b2ca360f063bdb3270d) add no stalebot exception ### 📊 Changes **1 file changed** (+1 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `.github/workflows/stale.yml` (+1 -0) </details> ### 📄 Description allows us to give certain issues with `no-stale-bot` <!-- This is an auto-generated comment: release notes by coderabbit.ai --> ## Summary by CodeRabbit - **New Features** - Introduced a new configuration option for the stale bot, allowing issues labeled with "no-stale-bot" to be exempt from inactivity checks. This improves issue management by preventing important discussions from being automatically closed. <!-- end of auto-generated comment: release notes by coderabbit.ai --> --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
adam added the pull-request label 2025-12-29 03:21:33 +01:00
adam closed this issue 2025-12-29 03:21:33 +01:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/headscale#2501