search

nus-cs2113-AY2223S2 / forum

10 stars 0 forks source link

Rename 'origin' #12

Open nikkiDEEE opened 1 year ago

nikkiDEEE commented 1 year ago

Sorry if this has been mentioned before, but do we have to follow the remote name 'origin' in the git push -u origin master or can it be the name of our remote repo e.g. git push -u DukeBot master?

joulev commented 1 year ago

Per https://stackoverflow.com/a/9529518 you need to use either origin or https://github.com/nikkiDEEE/ip.git. It’s pretty clear which one is better.

Of course assuming you haven’t renamed your default aliases which you probably shouldn’t do for our course.