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.

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

Show Christmas Cody in README and on website home page #923

Merged
merged 2 commits into from
Dec 16, 2023

Conversation

rickie
Copy link
Member

@rickie rickie commented Dec 15, 2023

I cherry-picked the commit from last year: 0153c14.

@rickie rickie added the documentation A documentation update label Dec 15, 2023
@rickie rickie added this to the 0.15.0 milestone Dec 15, 2023
Copy link

Looks good. No mutations were possible for these changes.
Mutation testing report by Pitest. Review any surviving mutants by inspecting the line comments under Files changed.

Copy link
Contributor

@mohamedsamehsalah mohamedsamehsalah left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🎄 🎅 🎁
Screenshot 2023-12-15 at 09 07 11

Copy link
Member

@Badbond Badbond left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copy link
Member

@Stephan202 Stephan202 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Applied our initial format.sh script; will merge once built.

Copy link

Looks good. No mutations were possible for these changes.
Mutation testing report by Pitest. Review any surviving mutants by inspecting the line comments under Files changed.

Copy link

Quality Gate Passed Quality Gate passed

Kudos, no new issues were introduced!

0 New issues
0 Security Hotspots
No data about Coverage
No data about Duplication

See analysis details on SonarCloud

@Stephan202 Stephan202 merged commit 7529b99 into master Dec 16, 2023
16 checks passed
@Stephan202 Stephan202 deleted the rossendrijver/christmas_cody branch December 16, 2023 12:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation A documentation update
Development

Successfully merging this pull request may close these issues.

4 participants