diff options
Diffstat (limited to 'server')
| -rw-r--r-- | server/mediagoblin.git/HEAD | 1 | ||||
| -rw-r--r-- | server/mediagoblin.git/config | 11 | ||||
| -rw-r--r-- | server/mediagoblin.git/description | 1 |
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 |