anarcat

From 147224cfe6143c44b16aec0bb6d6a506a6b96ced Mon Sep 17 00:00:00 2001
From: Kevin <kevin@ki-ai.org>
Date: Fri, 28 Aug 2015 15:53:37 -0500
Subject: [PATCH] Add namespace support to git-mediawiki

Signed-off-by: Kevin <kevin@ki-ai.org>
---
 contrib/mw-to-git/git-remote-mediawiki.perl | 34 +++++++++++++++++++++++++++--
 1 file changed, 32 insertions(+), 2 deletions(-)

anarcat

type RemoteName = String
type FileName = String
type Trusted = Bool
type Present = Bool

headerWhereis :: [(RemoteName, Trusted)] -> String
headerWhereis remotes = (unlines $ zipWith format [0..] remotes) ++ (pipes (length remotes))
  where
    format n (name, trusted) = (pipes n) ++ "," ++ name ++ (trust trusted)
    pipes = flip replicate '|'