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

DX: Do not mark as stale issues/PRs with milestone assigned #7398

Merged
merged 1 commit into from Oct 31, 2023
Merged

DX: Do not mark as stale issues/PRs with milestone assigned #7398

merged 1 commit into from Oct 31, 2023

Conversation

Wirone
Copy link
Member

@Wirone Wirone commented Oct 31, 2023

Mostly for PHP 8.3 related stuff, but it will work for any milestone we'll create.

@Wirone
Do not mark as stale issues/PRs with milestone assigned
9e75924 
Mostly for PHP 8.3 related stuff, but it will work for any milestone we'll create.
@Wirone Wirone added the topic/ci Github Actions, tooling label Oct 31, 2023
@Wirone Wirone requested a review from keradus October 31, 2023 00:04
@Wirone Wirone self-assigned this Oct 31, 2023
@coveralls
Copy link

Coverage Status

coverage: 94.604%. remained the same when pulling 9e75924 on Wirone:codito/do-not-mark-php83-issues-as-stale into 10ef1b0 on PHP-CS-Fixer:master.

@keradus keradus merged commit 7ab90e7 into PHP-CS-Fixer:master Oct 31, 2023
16 checks passed
@Wirone Wirone deleted the codito/do-not-mark-php83-issues-as-stale branch October 31, 2023 09:56
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
topic/ci Github Actions, tooling
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@Wirone @coveralls @keradus