madduck's git repository

Every one of the projects in this repository is available at the canonical URL git://<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 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://"]
  insteadOf = madduck:

add ssh443 jump host
authormartin f. krafft <>
Wed, 30 Oct 2019 20:38:07 +0000 (09:38 +1300)
committermartin f. krafft <>
Wed, 30 Oct 2019 20:38:07 +0000 (09:38 +1300)

index ea9ded0..842809a 100644 (file)
@@ -22,6 +22,13 @@ Host | irc-host
   ConnectTimeout 60
+Host ssh443
+  User madduck
+  HostKeyAlias
+  Hostname
+  Port 443
+  ConnectTimeout 60
+  DynamicForward 9001
 Host | vizier