Skip to content

ci: add stale workflow for issues and pull requests - #14

Merged
jmeridth merged 1 commit into
mainfrom
ci/stale-workflow
Oct 16, 2026
Merged

jmeridth merged 1 commit into
mainfrom
ci/stale-workflow

Conversation

@jmeridth

Copy link
Copy Markdown
Member

Description

Adds the stale workflow already running in gemaraproj/community and gemaraproj/gemara-mcp. Pull requests go stale after 30 days without activity and close 14 days later. Issues go stale after 60 days and close 14 days later. Items labeled keep or security are exempt.

Changes

  • .github/workflows/stale.yaml: runs actions/stale daily and on manual dispatch, and writes a job summary of the items it marked stale or closed.

Testing

actionlint passes. The same workflow runs green in gemaraproj/community.

Related Issues

None.

Reviewer Hints

Add the keep label before merging to anything that should not go stale. The stale and close messages are this repo's to reword.


Self-review checklist

  • This PR has content that was created with AI assistance.
  • I have the experience and knowledge necessary to answer maintainer questions about the content of this PR without using AI.

DCO Sign-off

By submitting this PR I confirm my contribution is made under the terms of the Apache 2.0 license and I have signed off all commits with Signed-off-by.

## What/Why

Pull requests go stale after 30 days without activity and close 14 days later. Issues go stale after 60 days and close 14 days later. Items labeled keep or security are exempt. Each run writes a job summary of the items it marked stale or closed.

## Proof it works

actionlint passes. This is the workflow already running in gemaraproj/community and gemaraproj/gemara-mcp.

## Risk

Low. The workflow only labels, comments on, and closes inactive items, and the keep label opts any item out.

## AI role

Claude Opus 5.5 drafted the workflow and this message. jmeridth set the thresholds and exempt labels and approved both.

## Review focus

The stale and close messages, which this repo can reword.

Signed-off-by: jmeridth <jmeridth@gmail.com>
@jmeridth jmeridth self-assigned this Oct 16, 2026
@jmeridth
jmeridth marked this pull request as ready for review October 16, 2026 03:56
@jmeridth
jmeridth requested review from a team as code owners October 16, 2026 03:56
@jmeridth
jmeridth merged commit ad98292 into main Oct 16, 2026
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant