Two way git mirror: Difference between revisions
Jump to navigation
Jump to search
imported>Hendrik Brummermann Created page with "== Motivation == == Setup == == Mirror == We use the following script to do the actually mirroring. It can be invoked with the name of a known repository as parameter or wi..." |
imported>Hendrik Brummermann Created page with "== Motivation == == Setup == == Mirror == We use the following script to do the actually mirroring. It can be invoked with the name of a known repository as parameter or wi..." |
(No difference)
| |