diff options
-rw-r--r-- | conf/gitolite.conf | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index f7766ec..e537bbd 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -1,6 +1,14 @@ @admin = ymherklotz -@mirrored-repos = vericert vericert-docs dotfiles emacs-zettelkasten verismith +@active = vericert vericert-docs dotfiles emacs-zettelkasten verismith leela Vivant alluvial-hs pfm +@active = median-cut mirror-ball FMark MipsCPU YAGE Compiler Simplex + +@mirrored-repos = @active +@mirrored-repos = TicTacToe Arider WaveGenerator ChessAI NumericalAnalysis +@mirrored-repos = NetworkCoursework DatabaseCoursework FPGA_Playground PriorityQueue +@mirrored-repos = Cardeval SwitchPCB A-star-algorithm VerilogCoursework BinaryTree +@mirrored-repos = second-year-computing FPGA-2015 sudoku_solver dot_product sobel_filter +@mirrored-repos = imperial_2015 NoteReader verilog NoiseSilencer repo CREATOR/..* C = @all |