[dgplug-users] Regarding Git

[sam sundar]

Hi ,
                 I am facing few problems in the GIt. I reinstalled
the OS. Generated a new ssh-key and added it to gitorious.org account.
I am now using wireless Internet through college server and made the
correct proxy settings (to use it from college) and applied it system
wide. This is the first time i am trying to Commit the changes through
college server by setting proxy.

My push url was :
git at gitorious.org:dgplug_media_theme_change/dgplug_media_theme_change.git

And i tried from theme directory

$ git push git at gitorious.org:dgplug_media_theme_change/dgplug_media_theme_change.git
master

There was a error :
ssh: Could not resolve hostname gitorious.org: Name or service not known
fatal: The remote end hung up unexpectedly


Can anybody help me.

Thanks and Regards,
Sundaram