From c687fe73bc2ed6751f1f451f7c8942662f325cf9 Mon Sep 17 00:00:00 2001
From: Oliver Schneider <oli-obk@users.noreply.github.com>
Date: Tue, 8 Nov 2016 11:52:38 +0100
Subject: [PATCH] Create PUBLISH.md

---
 PUBLISH.md | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 PUBLISH.md

diff --git a/PUBLISH.md b/PUBLISH.md
new file mode 100644
index 00000000000..b500e5e3f28
--- /dev/null
+++ b/PUBLISH.md
@@ -0,0 +1,15 @@
+Steps to publish a new clippy version
+
+1. `cargo test`.
+- Bump `package.version` in `./Cargo.toml` (no need to manually bump `dependencies.clippy_lints.version`).
+- Run `./util/update_lints.py`.
+- Write a changelog entry.
+- Commit `./Cargo.toml`, `./clippy_lints/Cargo.toml` and `./CHANGELOG.md`.
+- `git push`
+- Wait for Travis's approval.
+- Merge.
+- `cargo publish` in `./clippy_clints`.
+- `cargo publish` in the root directory.
+- `git pull`.
+- `git tag -s v0.0.X`.
+- `git push --tags`.