| Message ID | 20200429093811.8475-2-shouryashukla.oo@gmail.com (mailing list archive) |
|---|---|
| State | New, archived |
| Headers | show |
| Series | [v4,1/4] gitfaq: files in .gitignore are tracked | expand |
On Wed, Apr 29, 2020 at 2:38 AM Shourya Shukla <shouryashukla.oo@gmail.com> wrote: > > Add issue in 'Common Issues' section which addresses the problem of > changing the remote of a repository, covering various cases in which > one might want to change the remote and the ways to do the same. > > Signed-off-by: Shourya Shukla <shouryashukla.oo@gmail.com> > --- > Documentation/gitfaq.txt | 11 +++++++++++ > 1 file changed, 11 insertions(+) > > diff --git a/Documentation/gitfaq.txt b/Documentation/gitfaq.txt > index b1e758ffd1..7d294306f9 100644 > --- a/Documentation/gitfaq.txt > +++ b/Documentation/gitfaq.txt > @@ -232,6 +232,17 @@ I asked Git to ignore various files, yet they are still tracked:: > it is advised to use `git rm --cached <file>`as well as make > the file pattern is mentioned in the '.gitignore'. > > +[[changing-remote-of-the-repository]] > +I want to change the remote of my repository. How do I do that?:: > + A remote is an identifier for a location to which Git pushes your > + changes as well as fetches any new changes from (if any). There > + might be different circumstances in which one might need to change > + the remote URL (see linkgit:git-remote[1]). To change the remote URL > + one may use: git remote set-url <name> <newurl> > ++ > +One can list the remotes of a repository using `git remote -v` command. > +The default name of a remote is 'origin'. Looks good to me. :-)
Shourya Shukla <shouryashukla.oo@gmail.com> writes: > Add issue in 'Common Issues' section which addresses the problem of > changing the remote of a repository, covering various cases in which > one might want to change the remote and the ways to do the same. > > Signed-off-by: Shourya Shukla <shouryashukla.oo@gmail.com> > --- > Documentation/gitfaq.txt | 11 +++++++++++ > 1 file changed, 11 insertions(+) > > diff --git a/Documentation/gitfaq.txt b/Documentation/gitfaq.txt > index b1e758ffd1..7d294306f9 100644 > --- a/Documentation/gitfaq.txt > +++ b/Documentation/gitfaq.txt > @@ -232,6 +232,17 @@ I asked Git to ignore various files, yet they are still tracked:: > it is advised to use `git rm --cached <file>`as well as make > the file pattern is mentioned in the '.gitignore'. > > +[[changing-remote-of-the-repository]] > +I want to change the remote of my repository. How do I do that?:: > + A remote is an identifier for a location to which Git pushes your > + changes as well as fetches any new changes from (if any). There > + might be different circumstances in which one might need to change > + the remote URL (see linkgit:git-remote[1]). To change the remote URL > + one may use: git remote set-url <name> <newurl> > ++ > +One can list the remotes of a repository using `git remote -v` command. > +The default name of a remote is 'origin'. With the trimming, it got a lot easier to follow. We should strive to (1) make sure any FAQ entry can have a pointer to more comprehensive and canonical documentation, and (2) an FAQ entry with such a pointer does not consume more than one paragraph, say no more than 5 lines. It may be tempting to cram as much information as it comes to your head as possible when writing a FAQ document, but for those who need FAQ list, a list of pointers with clear and concise summary is more helpful. Thanks.
diff --git a/Documentation/gitfaq.txt b/Documentation/gitfaq.txt index b1e758ffd1..7d294306f9 100644 --- a/Documentation/gitfaq.txt +++ b/Documentation/gitfaq.txt @@ -232,6 +232,17 @@ I asked Git to ignore various files, yet they are still tracked:: it is advised to use `git rm --cached <file>`as well as make the file pattern is mentioned in the '.gitignore'. +[[changing-remote-of-the-repository]] +I want to change the remote of my repository. How do I do that?:: + A remote is an identifier for a location to which Git pushes your + changes as well as fetches any new changes from (if any). There + might be different circumstances in which one might need to change + the remote URL (see linkgit:git-remote[1]). To change the remote URL + one may use: git remote set-url <name> <newurl> ++ +One can list the remotes of a repository using `git remote -v` command. +The default name of a remote is 'origin'. + Hooks -----
Add issue in 'Common Issues' section which addresses the problem of changing the remote of a repository, covering various cases in which one might want to change the remote and the ways to do the same. Signed-off-by: Shourya Shukla <shouryashukla.oo@gmail.com> --- Documentation/gitfaq.txt | 11 +++++++++++ 1 file changed, 11 insertions(+)