Re: [PATCH v4 2/4] gitfaq: changing the remote of a repository

> 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'.