Skip to content

new icon: idris (original) - #2726

Open
cl1ckname wants to merge 1 commit into
devicons:developfrom
cl1ckname:add-idris-icon
Open

new icon: idris (original)#2726
cl1ckname wants to merge 1 commit into
devicons:developfrom
cl1ckname:add-idris-icon

Conversation

@cl1ckname

Copy link
Copy Markdown

Double check these details before you open a PR

  • PR does not match another non-stale PR currently opened
  • PR name matches the format new icon: Icon name (versions separated by comma). More details here
  • PR's base is the develop branch.
  • Your icons are inside a folder as seen here
  • SVG matches the standards laid out here
  • A new object is added in the devicon.json file at the correct alphabetic position as seen here

This PR closes #2725

Link to prove your SVG is correct and up-to-date.

https://idris-lang.org/

@cl1ckname cl1ckname changed the title add idris icon new icon: idris (original) May 31, 2026
@cl1ckname
cl1ckname force-pushed the add-idris-icon branch 4 times, most recently from 934a5fd to 83497a2 Compare May 31, 2026 11:55
@cl1ckname

Copy link
Copy Markdown
Author

PR is ready for review; please approve workflows and run checks.

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Hey @cl1ckname, thanks for contributing! Really appreciate your work on this. I noticed that the icon doesn't follow the standards for the original SVG. Please refer to the Original Icon documentation and update it accordingly. Thanks! 🙌

Copy link
Copy Markdown
Author

Choose a reason for hiding this comment

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

Yeah, done

@Yashh56

Yashh56 commented Aug 29, 2026

Copy link
Copy Markdown
Member

Hwy @cl1ckname, The changes are good but you need to create a plain svg as well because the original svg have two paths. So please create a plain svg as well and follow this guide. Really appreciate your contributions :)

@cl1ckname

Copy link
Copy Markdown
Author

Oh, missed that step, now there are only one path and svg optimized according guideline @Yashh56

@Yashh56 Yashh56 left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

LGTM!

@Yashh56
Yashh56 requested review from a team, Snailedlt, canaleal, lunatic-fox and weh and removed request for a team September 7, 2026 18:15
@Yashh56 Yashh56 added feature:icon PR when a new icon is ready to be added to the collection bot:peek Trigger peek-bot. Remove and re-add the label to re-trigger labels Sep 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bot:peek Trigger peek-bot. Remove and re-add the label to re-trigger feature:icon PR when a new icon is ready to be added to the collection

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants