diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2023-02-12 09:39:32 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2023-02-12 09:39:36 -0700 |
commit | e39435faa5c4941f4f3b6a31ad433725a9c226d2 (patch) | |
tree | 02280ad973de7e13d8804f454f748985ae4532db /lib-src | |
parent | 31dd9c997c3ebf489f9cd0299ab5942d93bc27bc (diff) | |
download | dotfiles-e39435faa5c4941f4f3b6a31ad433725a9c226d2.tar.gz |
move manually-maintained part of all.SCORE to ~/doc/
Diffstat (limited to 'lib-src')
-rw-r--r-- | lib-src/mr/config | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib-src/mr/config b/lib-src/mr/config index c1a020ae..5a54d143 100644 --- a/lib-src/mr/config +++ b/lib-src/mr/config @@ -208,7 +208,6 @@ autoci = fixups = # Drop score files unused by master or origin/master for a week. - # We keep an additional backup of most of all.SCORE committed to ~/doc/. [ "$MR_ACTION" = checkout -o "$MR_ACTION" = update ] || git fetch origin git annex unused \ --used-refspec="+refs/heads/master:+refs/remotes/origin/master" \ |