Skip to content

[doc] Add additional logos with a square shape#4447

Merged
jsotuyod merged 3 commits into
pmd:masterfrom
adangel:doc-squared-logos
Apr 19, 2023
Merged

[doc] Add additional logos with a square shape#4447
jsotuyod merged 3 commits into
pmd:masterfrom
adangel:doc-squared-logos

Conversation

@adangel

@adangel adangel commented Mar 31, 2023

Copy link
Copy Markdown
Member

Describe the PR

Ready?

  • Added unit tests for fixed bug/feature
  • Passing all unit tests
  • Complete build ./mvnw clean verify passes (checked automatically by github actions)
  • Added (in-code) documentation (if needed)

@adangel adangel added the in:documentation Affects the documentation [doc] label Mar 31, 2023
@adangel adangel added this to the 7.0.0 milestone Mar 31, 2023
@adangel adangel mentioned this pull request Mar 31, 2023
8 tasks
@ghost

ghost commented Mar 31, 2023

Copy link
Copy Markdown
1 Message
📖 No regression tested rules have been changed.

Generated by 🚫 Danger

@adangel adangel mentioned this pull request Apr 13, 2023
55 tasks
@jsotuyod jsotuyod merged commit e721c79 into pmd:master Apr 19, 2023
@adangel adangel deleted the doc-squared-logos branch April 20, 2023 12:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

in:documentation Affects the documentation [doc]

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Update PMD 7 Logo on various places

2 participants