1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18

local repo(name) = {
  name: name,
  source: 'https://git.jolheiser.com/' + name + '.git',
  dest: [
    'git@github.com:jolheiser/' + name,
    'git@tangled.sh:jolheiser.com/' + name,
  ],
};
{
  key: '~/.ssh/horcrux',
  interval: '15m',
  storage: '.horcrux',
  repos: [
    repo('horcrux'),
    repo('ugit'),
    repo('helix.drv'),
  ],
}