diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2021-09-08 15:35:30 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2021-09-08 15:35:30 +0200 |
| commit | 5996ff9322c86b402841876029121e65ad96b4c0 (patch) | |
| tree | 96667dff5e91438ce90ad1d048764f71bdc48f0b /Projects/REDPILL | |
| parent | f277bde6c51f52ea5d4e264c6b8c4b29e7ee7447 (diff) | |
add repo source-sync
Diffstat (limited to 'Projects/REDPILL')
| -rw-r--r-- | Projects/REDPILL/.mrconfig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Projects/REDPILL/.mrconfig b/Projects/REDPILL/.mrconfig index 8861837..5d5a77f 100644 --- a/Projects/REDPILL/.mrconfig +++ b/Projects/REDPILL/.mrconfig @@ -77,6 +77,9 @@ checkout = git clone 'xayide.jones.dk:/srv/git/source.redpill.dk/package' 'packa [FEATURE/source] checkout = git clone 'xayide.jones.dk:/srv/git/source.redpill.dk/source.git' 'source' +[FEATURE/source-sync] +checkout = git clone 'xayide.jones.dk:/srv/git/source.redpill.dk/source-sync.git' 'source-sync' + [FEATURE/system] checkout = git clone 'xayide.jones.dk:/srv/git/source.redpill.dk/system.git' 'system' |