From b2d825e277e5e25ed5445be7778e32ad06ae12bf Mon Sep 17 00:00:00 2001
From: Goutte <antoine.goutenoir@gmail.com>
Date: Tue, 5 Jun 2018 11:48:41 +0200
Subject: [PATCH] Make the publication script shebang more portable (experimental, may break things on your setup @Myriam)

---
 bin/publish | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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