diff options
| author | Joshua Branson <jbranso@fastmail.com> | 2018-10-31 21:18:59 -0400 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2018-11-02 20:34:37 +0100 |
| commit | 25b1a04051c566d6448b5664b14b43e991d0e634 (patch) | |
| tree | c44d54a7cb9aed073ad85effacf249044efba100 /microkernel/mach/mig | |
| parent | b5c1485ffc6b107f4d29b2d14b1271f1a89a6893 (diff) | |
cgit -> git I added some info on the systemd and Upstart pages. I added some links to other multiserver OSs. some tweaks to the systemd and upstart wiki pages. more info added to the genode OS page. I added a GNU Shepherd page.
Diffstat (limited to 'microkernel/mach/mig')
| -rw-r--r-- | microkernel/mach/mig/gnu_mig/building.mdwn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn index be79b02d..486c461e 100644 --- a/microkernel/mach/mig/gnu_mig/building.mdwn +++ b/microkernel/mach/mig/gnu_mig/building.mdwn @@ -17,9 +17,9 @@ using a pre-built package, follow these instructions. ## <a name="Getting_the_Source_Code"> Getting the Source Code </a> You can chose between getting the [sources from the developers' -RCS](http://git.savannah.gnu.org/cgit/hurd/): +RCS](https://git.savannah.gnu.org/git/hurd/): - $ git clone http://git.savannah.gnu.org/cgit/hurd/mig.git/ + $ git clone https://git.savannah.gnu.org/git/hurd/mig.git/ ... or (if you are working on a Debian system) get the sources that are used for the [current Debian mig package](http://packages.debian.net/source/unstable/mig): |