From 8901da17d39cbf5cdf4c01fad2b7a2abf0201594 Mon Sep 17 00:00:00 2001
From: Gianni Ceccarelli <gianni.ceccarelli@broadbean.com>
Date: Wed, 21 Feb 2018 16:41:20 +0000
Subject: filter script for cgit

---
 source-filter | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100755 source-filter

diff --git a/source-filter b/source-filter
new file mode 100755
index 0000000..87c3896
--- /dev/null
+++ b/source-filter
@@ -0,0 +1,2 @@
+#!/bin/bash
+exec curl -s --connect-timeout 0.5 --max-time 2 -H "Filename: $1" --data-binary @- http://127.0.0.1:8000/
-- 
cgit v1.2.3