Proposal: Implement Stale Labels and Auto-Close Inactive Pull Requests

[Ayushjhawar8]

Proposal: Add Stale Labels and Auto-Close Inactive PRs

Description
Implement a system to:

1. Mark inactive pull requests as "stale" after x days of inactivity.
2. Auto-close "stale" pull requests if no activity occurs within y days.

Benefits

• Keeps the repository clean and organized.
• Encourages timely updates from contributors.
• Reduces maintainers' workload.

Implementation

• Use stale GitHub Action.
• Suggested settings:
  • Days Until Stale: x days (e.g., 30 days).
  • Days Until Auto-Close: y days (e.g., 7 days after stale).
  • Exclusions: PRs with "in-progress" or "priority" labels.

Example Messages

1. Stale Notification:
   "This PR is marked as stale due to x days of inactivity. Please update or it will be auto-closed."

2. Auto-Close Notification:
   "This PR has been auto-closed due to inactivity. Reopen if you'd like to continue."

Next Steps

• Finalize inactivity duration (x and y).
• Configure and test the action.

[vigoo]

I don't want to auto close pull requests - we get to them and react when we can.