summaryrefslogtreecommitdiff
path: root/.mrconfig.in
diff options
context:
space:
mode:
Diffstat (limited to '.mrconfig.in')
-rw-r--r--.mrconfig.in28
1 files changed, 0 insertions, 28 deletions
diff --git a/.mrconfig.in b/.mrconfig.in
index c7f5e899..0af23e33 100644
--- a/.mrconfig.in
+++ b/.mrconfig.in
@@ -635,34 +635,6 @@ fixups =
git annex adjust --hide-missing --unlock
fi
-# --- git annex for university stuff
-
-[lib/dionysus]
-checkout = git clone demeterp:dionysus
-post_checkout =
- cd dionysus
- git annex init
- on athena || git remote add athena athenah:lib/dionysus
-status = git annex status
-update = git annex sync --no-content
-push = git annex sync --content
-#sync = sync-for-dionysus
-sync = git annex sync --content
-
-# origin remote is just for keeping a backup copy of metadata. athena
-# remote, in $HOME on athena, contains a copy of content. At present,
-# origin remote only updated by sysmaint script (run weekly)
-fixups =
- git config push.default matching
- git config annex.startupscan false
- git config annex.autocommit true # needed for ga sync
- git config annex.addunlocked true # for simplicity with existing workflows
- git config remote.origin.annex-ignore true
- git config mrrepo.review-unused false
- git config unpushed-tags.ignore true
-
-skip = lazy
-
# --- git annex for podcasts
[lib/podcasts]