Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

CI: Allow running Stale Bot on demand #7711

Merged
merged 1 commit into from Jan 10, 2024
Merged

CI: Allow running Stale Bot on demand #7711

merged 1 commit into from Jan 10, 2024

Conversation

Wirone
Copy link
Member

@Wirone Wirone commented Jan 10, 2024

See docs.

@Wirone Wirone requested a review from a team January 10, 2024 19:23
@Wirone Wirone self-assigned this Jan 10, 2024
@Wirone Wirone enabled auto-merge (squash) January 10, 2024 19:28
@coveralls
Copy link

Coverage Status

coverage: 94.805%. remained the same
when pulling 5d4ac60 on Wirone:codito/stale-bot-on-demand
into bf5b2e2 on PHP-CS-Fixer:master.

@Wirone Wirone merged commit d38fdc5 into PHP-CS-Fixer:master Jan 10, 2024
26 checks passed
@Wirone Wirone deleted the codito/stale-bot-on-demand branch January 10, 2024 20:34
danog pushed a commit to zoonru/PHP-CS-Fixer that referenced this pull request Feb 2, 2024
@Wirone @danog
CI: Allow running Stale Bot on demand (PHP-CS-Fixer#7711)
5edf9fd
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@keradus keradus keradus approved these changes

Assignees

@Wirone Wirone

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@Wirone @coveralls @keradus