Merge pull request #3230 from idris-lang/contributing/remove-dragonegg
Removed reference to now deprecated dragon egg process
commit742b4d9855aaf258d7967bf2868b7ab3fd93103b
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateSun 19 Jun 2016, 23:36 (10 years ago)
parent78b81b2bb25d49
CONTRIBUTING.md+1−1
@@ -49,7 +49,7 @@ Major changes to the library, or Idris itself, should be discussed first through
4949
50501. The mailing List.
51511. On our IRC Channel `#idris` on freenode, or
52−1. As a [Dragon Egg](https://github.com/idris-lang/Idris-dev/wiki/Feature-proposals).
52+1. As an RFC in the issue tracker
5353
5454Developers then seeking to add content to Idris's prelude and default library, should do so through a PR where more discussions and refinements can be made.
5555