Patrik Wehrli

Results 45 comments of Patrik Wehrli

I think we can close this now (?) if not, feel free to reopen

This is the official Brand Guidelines page: https://www.jetbrains.com/company/brand/

Ok, i see that there are still artifacts in the images, i will redo them. What do you think about the line version? Too much lines or OK?

@Snailedlt now should be ok (?)

Closing see: https://github.com/devicons/devicon/issues/2416

hi @jeffersonmoraesjunior, thank you for your contribution. Unfortunately did your AI Assistant not read and understand all the requirements ;) Starting with the svg icon formats, sizes, optimization and also...

This is the official Brand Guidelines page: https://www.jetbrains.com/company/brand/

Hi Franky, usually we need two reviewers before merge, maybe @canaleal can have a look and approve the PR.

hi @khanirfan18, there is already a pull request for this icon. You can see the link to it right above your post. But there are still more to do. Usually...

> When you rename the PR title, manually re-running the workflow won't fix this because GitHub is using the same context as the last run. If you sync the branch...