named file should be in the following format:
------------
-URL: one of the above URL format
-Push: <refspec>
-Pull: <refspec>
+ URL: one of the above URL format
+ Push: <refspec>
+ Pull: <refspec>
+
------------
Then such a short-hand is specified in place of
of `fetch` instead of `Pull:`):
------------
-[remote "<remote>"]
- url = <url>
- push = <refspec>
- fetch = <refspec>
+ [remote "<remote>"]
+ url = <url>
+ push = <refspec>
+ fetch = <refspec>
+
------------
The name of a file in `$GIT_DIR/branches` directory can be
corresponding file in the `$GIT_DIR/remotes/` directory.
------------
-URL: <url>
-Pull: refs/heads/master:<remote>
-------------
+ URL: <url>
+ Pull: refs/heads/master:<remote>
+------------
while having `<url>#<head>` is equivalent to
------------
-URL: <url>
-Pull: refs/heads/<head>:<remote>
+ URL: <url>
+ Pull: refs/heads/<head>:<remote>
------------