From 6a77931e26de0f4410baf8498ef4b6d6764234c9 Mon Sep 17 00:00:00 2001
From: The Gitter Badger <badger@gitter.im>
Date: Wed, 10 Jun 2015 04:18:57 +0000
Subject: [PATCH] Added Gitter badge

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 244f78a..2d3a2f2 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,6 @@
 # Earthquake: Dynamic Model Checker for Distributed Systems
+
+[![Join the chat at https://gitter.im/osrg/earthquake](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/osrg/earthquake?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
 Earthquake is a dynamic model checker (DMCK) for real implementations of distributed system (such as ZooKeeper).
 
 Earthquakes permutes C/Java function calls, Ethernet packets, and injected fault events in various orders so as to find implementation-level bugs of the distributed system.