From cc2d5263c0e79b3f7f7ee3694fed044ac258c929 2012-08-29 18:31:40
From: MinRK <benjaminrk@gmail.com>
Date: 2012-08-29 18:31:40
Subject: [PATCH] shebang backport_pr

---

diff --git a/tools/backport_pr.py b/tools/backport_pr.py
old mode 100644
new mode 100755
index c79d490..87cd6a2
--- a/tools/backport_pr.py
+++ b/tools/backport_pr.py
@@ -1,3 +1,4 @@
+#!/usr/bin/env python
 """
 Backport pull requests to a particular branch.