#!/bin/sh
exec ssh buildd.debian.org wb "$@"
