summaryrefslogtreecommitdiff
path: root/server
diff options
context:
space:
mode:
authorParabola git <git@parabola.nu>2016-12-16 18:04:33 +0000
committerParabola git <git@parabola.nu>2016-12-16 18:04:33 +0000
commitd0322b2e0d03e48219d2a13474a55aa0cecc0046 (patch)
tree7d638a0b7c399e6320ebb97bf511f42d7795d350 /server
parent7584e81c8d858efd0dc540d7cff6844c075e1653 (diff)
Update from cron
Diffstat (limited to 'server')
-rw-r--r--server/mediagoblin.git/HEAD1
-rw-r--r--server/mediagoblin.git/config11
-rw-r--r--server/mediagoblin.git/description1
3 files changed, 0 insertions, 13 deletions
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