+ [11 years ago] ResQue tang^: thanks a lot
+ [11 years ago] gitinfo hypnosb: Welcome to #github, a place full of helpful gits. If you have a question, please just go ahead and ask -- and please give us some time to answer. For more info on this channel and #git, see http://jk.gs/git/. Take backups (type !backup to learn how) before taking advice.

message no. 39283

Posted by sakhil03 in #github at 2014-08-14T13:26:55Z

I cant see pushed tags at server after pushing it from client
+ [11 years ago] lando23 hey guys. was wondering what the best way is to push a new repo to git. do i have to make one through the web interface first?
+ [11 years ago] lando23 excuse me, to github
+ [11 years ago] Josse Hello
+ [11 years ago] Josse how can i rename an repository on github?