madduck's git repository

Every one of the projects in this repository is available at the canonical URL git://git.madduck.net/madduck/pub/<projectpath> — see each project's metadata for the exact URL.

All patches and comments are welcome. Please squash your changes to logical commits before using git-format-patch and git-send-email to patches@git.madduck.net. If you'd read over the Git project's submission guidelines and adhered to them, I'd be especially grateful.

SSH access, as well as push access can be individually arranged.

If you use my repositories frequently, consider adding the following snippet to ~/.gitconfig and using the third clone URL listed for each project:

[url "git://git.madduck.net/madduck/"]
  insteadOf = madduck:

add ifi.uzh.ch hosts
[etc/ssh.git] / .ssh / config.in
index c0bed14..722d8f8 100644 (file)
@@ -16,6 +16,9 @@ Host git.madduck.net | git
 Host scratch.madduck.net | scratch
   User madduck
   HostKeyAlias pulse.madduck.net
+Host debian.madduck.net | debian
+  User madduck
+  HostKeyAlias pulse.madduck.net
 
 Host phd.martin-krafft.net
   User madduck
@@ -24,6 +27,9 @@ Host madduck.net
   User madduck
   HostKeyAlias seamus.madduck.net
 
+Host tunes.madduck.net | tunes
+  HostKeyAlias bell.madduck.net
+
 Host lapse.madduck.net | lapse.oerlikon.madduck.net | lapse
   CheckHostIP no
 
@@ -218,6 +224,13 @@ Host allegri.debian.org | allegri
   Hostname allegri.debian.org
   User madduck
 
+Host sergei.ifi.uzh.ch | sergei
+  Hostname sergei.ifi.uzh.ch
+  User krafft
+Host nikolai.ifi.uzh.ch | nikolai
+  Hostname nikolai.ifi.uzh.ch
+  User krafft
+
 Host *
 # AddressFamily any
 # BatchMode no