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.