diff --git a/bin/publish b/bin/publish
index 51ecead..2253cd7 100755
--- a/bin/publish
+++ b/bin/publish
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Upload the sources to our production server, with minimal effort.
 
--
libgit2 0.21.2