fix git https URI

This commit is contained in:
2024-01-13 15:13:18 +01:00
parent b0c3f003ac
commit 3fdd65acf1

View File

@@ -10,24 +10,24 @@ the GNU General Public License v3.0 or later.
Some rights reserved. See COPYING. Some rights reserved. See COPYING.
** Installation (don't do it until version 0.9) ** Installation (don't do it until version 0.9)
*** clone repos *** clone repository
**** user... *user...**
#+BEGIN_EXAMPLE #+BEGIN_EXAMPLE
$ git clone https://git.raoult.com:bruno/brchess.git $ git clone https://github.com/braoult/brchess.git
#+END_EXAMPLE
or or
#+BEGIN_EXAMPLE $ git clone https://git.raoult.com/bruno/brchess.git
$ git clone https://git.raoult.com:bruno/brchess.git
#+END_EXAMPLE #+END_EXAMPLE
**** ... or developer *OR ...developer*
#+BEGIN_EXAMPLE #+BEGIN_EXAMPLE
$ git clone https@git.raoult.com:bruno/brchess.git $ git clone git@git.raoult.com:bruno/brchess.git
$ cd brchess $ cd brchess
$ git remote add github git@github.com:braoult/brchess.git $ git remote add github git@github.com:braoult/brchess.git
#+END_EXAMPLE #+END_EXAMPLE
*** add "brlib" submodule *** add "brlib" submodule
#+BEGIN_EXAMPLE #+BEGIN_EXAMPLE
$ cd brchess
$ git submodule init $ git submodule init
$ git submodule update --remote --merge $ git submodule update
#+END_EXAMPLE #+END_EXAMPLE