From 7b87bbb98933df35c5b0bd75d12eb003f1ca1854 Mon Sep 17 00:00:00 2001
From: Sami Samhuri <sami.samhuri@gmail.com>
Date: Tue, 10 Aug 2010 10:42:08 -0700
Subject: [PATCH] Easily restore a deleted file in a git repo

---
 git-restore | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 git-restore

diff --git a/git-restore b/git-restore
new file mode 100755
index 0000000..7908a51
--- /dev/null
+++ b/git-restore
@@ -0,0 +1,4 @@
+#!/bin/sh
+
+FILENAME="$1"
+git checkout $(git rev-list -n1 HEAD -- "$FILENAME")^ "$FILENAME"