Testing out repo pushing under Linux