@@ -0,0 +1,42 @@
1+# Release Checks
2+
3+Things to be checked, or done before a release is made.
4+
5+## Final Checks
6+
7++ [ ] Do the tests run to completion?
8++ [ ] Can samples build?
9++ [ ] Is `man/idris.1` up-to-date?
10+
11+## Version Numbers
12+
13++ [ ] `man/idris.1`.
14++ [ ] `docs/conf.py`.
15++ [ ] `docs/listing/idris-prompt-helloworld.txt`.
16++ [ ] `docs/listing/idris-prompt-interp.txt`.
17++ [ ] `docs/listing/idris-prompt-start.txt`.
18++ [ ] `idris.cabal`.
19+
20+## Tag Release
21+
22++ [ ] Finalise and check `CHANGELOG.md`.
23++ [ ] Tag the release.
24+
25+## Uploads
26+
27++ [ ] Push to GITHUB.
28++ [ ] Upload to Hackage.
29+
30+## Binaries
31+
32++ [ ] Generate Mac OS X Package.
33++ [ ] Prompt helpers to create:
34+ + [ ] Windows Binary.
35+ + [ ] HomeBrew Package.
36+
37+## Announcements
38+
39++ [ ] Update website.
40++ [ ] Email Mailing list.
41++ [ ] Make REDDIT post.
42++ [ ] Tweet