#!/bin/bash

if [ -z "$1" ]
then
    svn co https://svn.orxonox.ethz.ch/data data
else
    svn co https://svn.orxonox.ethz.ch/data data --username $1
fi
