Commit 53820ab9 authored by POTTIER Francois's avatar POTTIER Francois

Update the repo URL to use https instead of ssh.

parent 5d1d430e
...@@ -12,14 +12,14 @@ opam install visitors ...@@ -12,14 +12,14 @@ opam install visitors
To install the latest development version, also via `opam`, please proceed as follows: To install the latest development version, also via `opam`, please proceed as follows:
```bash ```bash
git clone git@gitlab.inria.fr:fpottier/visitors.git git clone https://gitlab.inria.fr/fpottier/visitors.git
cd visitors cd visitors
make pin make pin
``` ```
To install the latest development version, outside of `opam`, please proceed as follows: To install the latest development version, outside of `opam`, please proceed as follows:
```bash ```bash
git clone git@gitlab.inria.fr:fpottier/visitors.git git clone https://gitlab.inria.fr/fpottier/visitors.git
cd visitors cd visitors
make -C src install make -C src install
``` ```
......
...@@ -4,7 +4,7 @@ authors: [ ...@@ -4,7 +4,7 @@ authors: [
"François Pottier <francois.pottier@inria.fr>" "François Pottier <francois.pottier@inria.fr>"
] ]
homepage: "https://gitlab.inria.fr/fpottier/visitors" homepage: "https://gitlab.inria.fr/fpottier/visitors"
dev-repo: "git@gitlab.inria.fr:fpottier/visitors.git" dev-repo: "https://gitlab.inria.fr/fpottier/visitors.git"
bug-reports: "francois.pottier@inria.fr" bug-reports: "francois.pottier@inria.fr"
build: [ build: [
[make] [make]
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment