From d0322b2e0d03e48219d2a13474a55aa0cecc0046 Mon Sep 17 00:00:00 2001 From: Parabola git Date: Fri, 16 Dec 2016 18:04:33 +0000 Subject: Update from cron --- server/mediagoblin.git/HEAD | 1 - server/mediagoblin.git/config | 11 ----------- server/mediagoblin.git/description | 1 - 3 files changed, 13 deletions(-) delete mode 100644 server/mediagoblin.git/HEAD delete mode 100644 server/mediagoblin.git/config delete mode 100644 server/mediagoblin.git/description (limited to 'server') diff --git a/server/mediagoblin.git/HEAD b/server/mediagoblin.git/HEAD deleted file mode 100644 index cb089cd..0000000 --- a/server/mediagoblin.git/HEAD +++ /dev/null @@ -1 +0,0 @@ -ref: refs/heads/master diff --git a/server/mediagoblin.git/config b/server/mediagoblin.git/config deleted file mode 100644 index 93fdd39..0000000 --- a/server/mediagoblin.git/config +++ /dev/null @@ -1,11 +0,0 @@ -[core] - repositoryformatversion = 0 - filemode = true - bare = true - logallrefupdates = true -[remote "origin"] - url = git://git.sv.gnu.org/mediagoblin.git - fetch = +refs/heads/*:refs/remotes/origin/* -[branch "master"] - remote = origin - merge = refs/heads/master diff --git a/server/mediagoblin.git/description b/server/mediagoblin.git/description deleted file mode 100644 index 2921279..0000000 --- a/server/mediagoblin.git/description +++ /dev/null @@ -1 +0,0 @@ -GNU MediaGoblin -- cgit v1.2.3