Skip to content

Conversation

@jorgeborges
Copy link
Contributor

Adding git remote page.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

is this really such a common use case? I'd suggest instead having the command to change the URL of a remote, which I personally have had to do more than once (e.g. after forgetting to make a clone of a github repo in the web interface before cloning to my machine, so I could push to it).

Otherwise, great addition!

@jorgeborges
Copy link
Contributor Author

I took your recommendation @waldyrious, most people would probably prefer to explicitly fetch anyway.

git remote set-url is harder to remember too, just added it.

@waldyrious
Copy link
Member

👍 :)

@rprieto
Copy link
Contributor

rprieto commented Mar 30, 2015

It looks great, thanks for the contribution!

rprieto added a commit that referenced this pull request Mar 30, 2015
@rprieto rprieto merged commit fd67193 into tldr-pages:master Mar 30, 2015
@waldyrious waldyrious added the new command Issues requesting creation of a new page or PRs adding a new page for a command. label Sep 8, 2016
@waldyrious waldyrious changed the title Add git remote git remote: add page Sep 28, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

new command Issues requesting creation of a new page or PRs adding a new page for a command.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants