From 07ef7cf2a0bf7bb601ac0d7ba0e4fbbe8ac8faf1 Mon Sep 17 00:00:00 2001
From: Darko Poljak <darko.poljak@gmail.com>
Date: Thu, 7 Jul 2016 07:53:21 +0200
Subject: [PATCH] Update building on FreeBSD.

---
 bin/build-helper.freebsd | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/bin/build-helper.freebsd b/bin/build-helper.freebsd
index 01d86a10..da8170e1 100755
--- a/bin/build-helper.freebsd
+++ b/bin/build-helper.freebsd
@@ -260,7 +260,15 @@ eof
         fi
 
         # Publish git changes
-        make helper=${helper} WEBDIR=${WEBDIR} pub
+        case "$run_as" in
+            freebsd)
+                # if we are not Nico :) then just push, no mirror
+                git push
+            ;;
+            *)
+                make helper=${helper} WEBDIR=${WEBDIR} pub
+            ;;
+        esac
 
         # publish man, speeches, website
         if [ "$masterbranch" = yes ]; then