Skip to content

chore(MSP-5160): rename infection.json to infection.json5 - #707

Merged
Maks Rafalko (maks-rafalko) merged 2 commits into
masterfrom
ticket/MSP-5160-infection-1
Aug 14, 2026
Merged

chore(MSP-5160): rename infection.json to infection.json5#707
Maks Rafalko (maks-rafalko) merged 2 commits into
masterfrom
ticket/MSP-5160-infection-1

Conversation

@maks-rafalko

Copy link
Copy Markdown
Contributor

To have it recognized as json5 file by IDE and make autocompletion works (see next PR).

Note: json5 is a default extension in the new Infection versions, so it doesn't make sense to keep the old one.

@maks-rafalko Maks Rafalko (maks-rafalko) changed the title chore(MSP-5160): Rename infection.json to infection.json5 chore(MSP-5160): rename infection.json to infection.json5 Aug 14, 2026
@maks-rafalko
Maks Rafalko (maks-rafalko) marked this pull request as ready for review August 14, 2026 13:56
Comment thread infection.json5
To have it recognized as json5 file by IDE and make autocompletion works.

Note: json5 is a default extension in the new Infection versions, so it doesn't make sense to keep the old one.
@maks-rafalko
Maks Rafalko (maks-rafalko) added this pull request to the merge queue Aug 14, 2026
Merged via the queue into master with commit f35ebe7 Aug 14, 2026
8 checks passed
@maks-rafalko
Maks Rafalko (maks-rafalko) deleted the ticket/MSP-5160-infection-1 branch August 14, 2026 14:52
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.

3 participants