PR #158

15 votes · 13 up · 2 down

View on GitHub
15
Total Votes
+13
Upvotes
-2
Downvotes
+13-2

Comments(11)

lens0021Comment#158feat: add weekly workflow to close oldest open PR

The merged #185 is better and chaotic.

matthewmayerComment#158feat: add weekly cleanup workflow and codify "Code is Law" rule

Need to edit the PR tire too then

lens0021Comment#158feat: add weekly cleanup workflow and codify "Code is Law" rule

I've given up my try of injection of the rule. :smiley:

matthewmayerComment#158feat: add weekly cleanup workflow and codify "Code is Law" rule

The auto merging PR is already depending on the implicit rule, I just explicitly described it.

Currently, the upvote of this PR is just 11, so it is enough just to mention the added rule in the title of PR. (Lazy thinking, maybe)

I'd say the opposite is currently true: the human rules override the GitHub actions. So although there's a (broken) automatic weekly merge the maintainer follows the README and merges daily.

Similarly I would expect this PR to add a bullet point in the README that the oldest PR gets closer each week (and if for some reason the action failed the maintainer would do it manually)

lens0021Comment#158feat: add weekly workflow to close oldest open PR

The auto merging PR is already depending on the implicit rule, I just explicitly described it. Currently, the upvote of this PR is just 11, so it is enough just to mention the added rule in the title of PR. (Lazy thinking, maybe)

matthewmayerComment#158feat: add weekly workflow to close oldest open PR

I don't think we need any additional settings for this to work. It should work as written.

Reviewing the changes, the more notable part is the README addition:

Code is Law: Rules are for human guidance. If a GitHub workflow contradicts written rules, the workflow (code) takes precedence. Always inspect the codebase to understand the actual system behavior.

The real question is whether the community wants a "Code is Law" clause.

I agree, this is a bigger deal than the actual code change, and should be probably split into a different PR as its the opposite of the status quo.

bigintersmindComment#158feat: add weekly workflow to close oldest open PR

I don't think we need any additional settings for this to work. It should work as written.

Reviewing the changes, the more notable part is the README addition:

Code is Law: Rules are for human guidance. If a GitHub workflow contradicts written rules, the workflow (code) takes precedence. Always inspect the codebase to understand the actual system behavior.

The real question is whether the community wants a "Code is Law" clause.

lens0021Comment#158feat: add weekly workflow to close oldest open PR

iirc, this requires a special setting in the project.

bigintersmindComment#158feat: add weekly workflow to close oldest open PR

Great idea. Let's keep things fresh!

DavieyComment#158feat: add weekly workflow to close oldest open PR

👎 Boring infrastructure workflow

openchaos-bot[bot]Comment#158feat: add weekly workflow to close oldest open PR

🤖 OpenChaos Bot

Summary: This PR introduces a GitHub workflow that automatically closes the oldest open PR every Monday to keep the backlog of PRs fresh. It also adds a disclaimer to the README stating that workflows take precedence over written rules.

Files changed: 2 (.github/workflows/cleanup-old-pr.yml, README.md)

Vibe: Adding weekly executions to the Darwinian Thunderdome.


openchaos-bot

All Activity(27)

lens0021Comment#158feat: add weekly workflow to close oldest open PR

The merged #185 is better and chaotic.

matthewmayerComment#158feat: add weekly cleanup workflow and codify "Code is Law" rule

Need to edit the PR tire too then

lens0021Comment#158feat: add weekly cleanup workflow and codify "Code is Law" rule

I've given up my try of injection of the rule. :smiley:

matthewmayerComment#158feat: add weekly cleanup workflow and codify "Code is Law" rule

The auto merging PR is already depending on the implicit rule, I just explicitly described it.

Currently, the upvote of this PR is just 11, so it is enough just to mention the added rule in the title of PR. (Lazy thinking, maybe)

I'd say the opposite is currently true: the human rules override the GitHub actions. So although there's a (broken) automatic weekly merge the maintainer follows the README and merges daily.

Similarly I would expect this PR to add a bullet point in the README that the oldest PR gets closer each week (and if for some reason the action failed the maintainer would do it manually)

lens0021Comment#158feat: add weekly workflow to close oldest open PR

The auto merging PR is already depending on the implicit rule, I just explicitly described it. Currently, the upvote of this PR is just 11, so it is enough just to mention the added rule in the title of PR. (Lazy thinking, maybe)

matthewmayerComment#158feat: add weekly workflow to close oldest open PR

I don't think we need any additional settings for this to work. It should work as written.

Reviewing the changes, the more notable part is the README addition:

Code is Law: Rules are for human guidance. If a GitHub workflow contradicts written rules, the workflow (code) takes precedence. Always inspect the codebase to understand the actual system behavior.

The real question is whether the community wants a "Code is Law" clause.

I agree, this is a bigger deal than the actual code change, and should be probably split into a different PR as its the opposite of the status quo.

bigintersmindComment#158feat: add weekly workflow to close oldest open PR

I don't think we need any additional settings for this to work. It should work as written.

Reviewing the changes, the more notable part is the README addition:

Code is Law: Rules are for human guidance. If a GitHub workflow contradicts written rules, the workflow (code) takes precedence. Always inspect the codebase to understand the actual system behavior.

The real question is whether the community wants a "Code is Law" clause.

lens0021Comment#158feat: add weekly workflow to close oldest open PR

iirc, this requires a special setting in the project.

bigintersmindComment#158feat: add weekly workflow to close oldest open PR

Great idea. Let's keep things fresh!

DavieyComment#158feat: add weekly workflow to close oldest open PR

👎 Boring infrastructure workflow

openchaos-bot[bot]Comment#158feat: add weekly workflow to close oldest open PR

🤖 OpenChaos Bot

Summary: This PR introduces a GitHub workflow that automatically closes the oldest open PR every Monday to keep the backlog of PRs fresh. It also adds a disclaimer to the README stating that workflows take precedence over written rules.

Files changed: 2 (.github/workflows/cleanup-old-pr.yml, README.md)

Vibe: Adding weekly executions to the Darwinian Thunderdome.


openchaos-bot