From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 2D9407ED1F for ; Sun, 3 Nov 2019 22:14:36 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yawar.amin@gmail.com; spf=Pass smtp.mailfrom=yawar.amin@gmail.com; spf=None smtp.helo=postmaster@mail-il1-f171.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yawar.amin@gmail.com) identity=pra; client-ip=209.85.166.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="yawar.amin@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yawar.amin@gmail.com designates 209.85.166.171 as permitted sender) identity=mailfrom; client-ip=209.85.166.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="yawar.amin@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-il1-f171.google.com) identity=helo; client-ip=209.85.166.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="postmaster@mail-il1-f171.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AnFWzihMw2syGDuR/kJEl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Ivv4rarrMEGX3/hxlliBBdydt6sfzbOP6uu5BTxIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfL1/IA+roQnMq8UajpZuJ6kyxxDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKiU0+3/LhMNukK1boQqhpx1hzI7SfIGVL+d1cqfEcd8HWWZNQsNdWipcCY2+?= =?us-ascii?q?coQPFfIMMulWr4b/p1UAoxiwCxSyCuzz0TJHnGP60Lcg3ug9DQ3L3gotFM8Ovn?= =?us-ascii?q?TOq9X1Mb8fXuKvw6jG1zrDde5d1Cv46IjJdBAqvPaBXLJqfsvf00YvDRnJgU+V?= =?us-ascii?q?qYzkOTOYzesNs22B4OphUeKjkXIoqwZ0ojW2wMonl4fHhoUQyl/e9CV5xp44Jd?= =?us-ascii?q?KmR05hfNGoCYBQtz2dN4tyWsMiRntnuCA8yrEcpJG0YjAGx4g9yB7ab/yIb4mI?= =?us-ascii?q?4g7jVeqLJjd4nn1ldKqwhxaz7UigzvfzWdKu3FlWqSpFl9/BvW0O2RzL8sWLVO?= =?us-ascii?q?dx80O71TuM1w3f8PxILEE1mKbBNpIswKM8m5wOukrZBCD2gl/5jKqOe0Uk5Oeo?= =?us-ascii?q?7+Pnb63jppCGNo90jhjyMqUqmsCiGOg4PBUCUmqG9eim273j+kr5QLpOjvIoiK?= =?us-ascii?q?XWrJfaJcEDqq64BQ9azJoj5g6hAzu61NkUh3oKIVJfdB6ajoXkOkvCLO36APui?= =?us-ascii?q?m1islS1kx/HCPr3vGJXNKX3Dna/hfLln5U9T0hAzwcpF6JJRC7EBJun+WkD0tN?= =?us-ascii?q?PCDx85Nxa4zPrgCNV4zo8eQ36AAreFMKPOtl+F/v4gLPOJZI8RoTr9L/kl5+Xy?= =?us-ascii?q?jXIigl8cfayp3YMNZ3yiH/RmJV+ZYXv2jdsbH2cKpFl2cOu/p1CYXXZoe3G2R6?= =?us-ascii?q?c14DdzXIOgA4DrSY23jPmawCC/BphfYGYABl3aQlnycIDRav4TYTjaC8pglHRQ?= =?us-ascii?q?RLG+QpVn3BSvsif1zrNmKqzf/ShO5sGr78R8++CGzUJ6zjdzFcnIljjVFzgpzF?= =?us-ascii?q?NNfCc/2eVEmWI4ylqH1vIm0flRFNgW5vcQFwljaseawOt9BNT/HAnGe4XREQf0?= =?us-ascii?q?cpCdGTg0C+kJ7ZoLakd5Fc+li0majSWvCr4R0beMAc5tq/6O7z3KP894jk3++u?= =?us-ascii?q?w5lVB/G5lAMGSnguh08A2BX4M=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C5BgAdQr9dgKumVdFmHQEBAQkBEQUFA?= =?us-ascii?q?YF9gkhEVDMqhCmBHIJeixGCEIpbhF+LbAkBAwEMIwwBAYRAAoN7HAcBBDQTAg4?= =?us-ascii?q?BAQQBAQECAQIDBAETAQEJDQkIJ4VADII7KQGCbQEBAQIBEhEdARQHHQEDAQsGA?= =?us-ascii?q?wIEBwM0AgIiAREBBQEcBhMJGYMBgkUBAw4gD5Ndjw2BAzyLJYEVBQEXgn8FhE8?= =?us-ascii?q?KGScNYwOBPAIHEoEkhRqGeYFYP4QjPoJXCwOCDYJjgl4EjHcLEolqh3CPBAeCJ?= =?us-ascii?q?2kEhiSKGIFSgjsbgy6WNxmEM5IkkUIPI4EcKoF6MxojUDGCOwkJPhEUgwZQgyM?= =?us-ascii?q?zhGGFXSYwAY5sAQE?= X-IPAS-Result: =?us-ascii?q?A0C5BgAdQr9dgKumVdFmHQEBAQkBEQUFAYF9gkhEVDMqhCm?= =?us-ascii?q?BHIJeixGCEIpbhF+LbAkBAwEMIwwBAYRAAoN7HAcBBDQTAg4BAQQBAQECAQIDB?= =?us-ascii?q?AETAQEJDQkIJ4VADII7KQGCbQEBAQIBEhEdARQHHQEDAQsGAwIEBwM0AgIiARE?= =?us-ascii?q?BBQEcBhMJGYMBgkUBAw4gD5Ndjw2BAzyLJYEVBQEXgn8FhE8KGScNYwOBPAIHE?= =?us-ascii?q?oEkhRqGeYFYP4QjPoJXCwOCDYJjgl4EjHcLEolqh3CPBAeCJ2kEhiSKGIFSgjs?= =?us-ascii?q?bgy6WNxmEM5IkkUIPI4EcKoF6MxojUDGCOwkJPhEUgwZQgyMzhGGFXSYwAY5sA?= =?us-ascii?q?QE?= X-IronPort-AV: E=Sophos;i="5.68,264,1569276000"; d="scan'208,217";a="325451465" X-MGA-submission: =?us-ascii?q?MDEQKQCK5Kn2Q8JdeYTGieAEKsSH7Pzznr+pTQ?= =?us-ascii?q?Z23Wu9qvE/2ZhIrcX+x4AXxRDBh0/BivKZFBFCBgnXCG+TlSAvb3SaWT?= =?us-ascii?q?v0GzH6c+8JZeXvzPYjejB1NbypYBhL3cucykd2L81iAMJfFk1X0pU/Vg?= =?us-ascii?q?op/WGpB20998vdWae3iFtvSA=3D=3D?= Received: from mail-il1-f171.google.com ([209.85.166.171]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 03 Nov 2019 22:14:34 +0100 Received: by mail-il1-f171.google.com with SMTP id s5so2798957iln.4 for ; Sun, 03 Nov 2019 13:14:34 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=4zmJT1ds1TZBhiDzQ8oPD3c8+XLGaPOL/znRgcmAo+Q=; b=DukAyKVVwurT0+o5dM6Z7zk5PwcHme3rVnTH4XNZDz8TmbE3muFjI7+k+F6UrUgjBF VF5P8HeTrHz0h8hq+CHej44iEkacBsoOM5d38NYbWhY/NcElpTLnThoTChAdxIodj/xu +NfFermcY8KIGJSwHsVQ6o7EK4WwzBzWfFZh1JL5bywicUTWCk6rUGRMsGVXEBvp4slG vm8C4p9Q1I34FnMp8SXNWkL97Lh4qoLD62p6bPpzbPZT2+1yiZyAzs4n8HtNqou+uZBN tNqUcbaJ5FZgeeAA6j6iQcC9MvCQN9IkgD8KZmgqKOLwRxm7Gyb4NMP/ghG0vBQU37lA 0frQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=4zmJT1ds1TZBhiDzQ8oPD3c8+XLGaPOL/znRgcmAo+Q=; b=ZOPCmnYxIipKUQ2a2qkDdf3wCenmGLGHuM1jHhXhlun+wGcnJfGlRxlUXpQa0ZsPaa kaN494nEHI+zdb5YZKQBiMZQUFZyuI2LfGxRbnNx5qxPkhbJhxLhgp1icXJb4cgfLEzK +DeHbRD820amCur51RIK0e0BuNMICn8m0bc+q8ubhgfhOVkUv5SCWu1Wo38kCi2WaZ5u Nlr7P9421T839EuNWCFLFc0ibLq1hKX90N0XkMIHuLxYe6HIM0LF7rduons3bGkS9I51 s1cXtWIaf8HaJCeZVse59t20sw4M0zxv8fRaNmo+FmYaJg93L4obOA514M1YLDAtfG6W 7xEw== X-Gm-Message-State: APjAAAUllgSc1r0a5uOhfXXIUVN18giUsHlpFoXFSjVdolos1awBApYO +UpbsVaIKIaVnWNWJWgsIlFYXXr0EAUkSWp/oEQ2 X-Google-Smtp-Source: APXvYqwyZZ2Fy8wbwe+XMnKYWbjnGVV5oj/+oTGmAX2ZrgG79fNyHa1jmEeoqaYcuPCUe3+3XRK6f0TJb16J39vvrKg= X-Received: by 2002:a92:cb8c:: with SMTP id z12mr12056825ilo.55.1572815673823; Sun, 03 Nov 2019 13:14:33 -0800 (PST) MIME-Version: 1.0 References: <14033ff3-680d-93a9-52a4-b66103eb13cd@gerd-stolpmann.de> <60f7d2a1-27ba-b89e-3301-d586e3316dc9@gerd-stolpmann.de> In-Reply-To: <60f7d2a1-27ba-b89e-3301-d586e3316dc9@gerd-stolpmann.de> From: Yawar Amin Date: Sun, 3 Nov 2019 16:14:22 -0500 Message-ID: To: Gerd Stolpmann Cc: Ocaml Mailing List Content-Type: multipart/alternative; boundary="000000000000891709059677af5e" Subject: Re: [Caml-list] moved gitlab.camlcity.org to gitlab.com --000000000000891709059677af5e Content-Type: text/plain; charset="UTF-8" I see it now. Thanks! On Sun, Nov 3, 2019 at 3:15 PM Gerd Stolpmann wrote: > Oops, typo: it is > > https://gitlab.com/gerdstolpmann/lib-ocamlnet3 > > of course. > > Am 03.11.19 um 20:44 schrieb Gerd Stolpmann: > > Hello everybody, > > > > because of reorganizations I moved all my projects from the > > gitlab.camlcity.org repositories to gitlab.com. The site > > gitlab.camlcity.org was running a self-hosted gitlab instance. It is now > > given up. > > > > This means that URLs change: > > > > e.g. https://camlcity.gitlab.com/gerd/lib-ocamlnet3 becomes > > https://gitlab.com/gerdsttolpmann/ilb-ocamlnet3 > > > > There is a URL redirection for https URLs. > > > > For git checkouts, you need to run "git remote set-url", e.g. > > > > git remote set-url git@gitlab.com:gerdstolpmann/lib-ocamlnet3 > > > > > > Also, remember that the findlib repository is now in github > > (ocaml/ocamlfind). > > > > Hope this is not too confusing, > > > > Gerd > > > -- > ------------------------------------------------------------ > Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de > My OCaml site: http://www.camlcity.org > Contact details: http://www.camlcity.org/contact.html > Company homepage: http://www.gerd-stolpmann.de > ------------------------------------------------------------ > > > --000000000000891709059677af5e Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I see it now. Thanks!

On Sun, Nov 3, 2019 at 3:15 PM Ge= rd Stolpmann <info@gerd-stolpm= ann.de> wrote:
Oops, typo: it is

https://gitlab.com/gerdstolpmann/lib-ocamlnet3

of course.

Am 03.11.19 um 20:44 schrieb Gerd Stolpmann:
> Hello everybody,
>
> because of reorganizations I moved all my projects from the
> gitlab.camlcity.org repositories to gitlab.com. The site
> gitlab.camlcity.org was running a self-hosted gitlab instance. It= is now
> given up.
>
> This means that URLs change:
>
> e.g. https://camlcity.gitlab.com/gerd/lib-ocamlne= t3 becomes
> https://gitlab.com/gerdsttolpmann/ilb-ocamlnet3<= /a>
>
> There is a URL redirection for https URLs.
>
> For git checkouts, you need to run "git remote set-url", e.g= .
>
> git remote set-url git@gitlab.com:gerdstolpmann/lib-ocamlnet3
>
>
> Also, remember that the findlib repository is now in github
> (ocaml/ocamlfind).
>
> Hope this is not too confusing,
>
> Gerd
>
--
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany=C2=A0 =C2=A0 gerd@gerd-stolpmann.de
My OCaml site:=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 http://www.camlcity.org<= br> Contact details:=C2=A0 =C2=A0 =C2=A0 =C2=A0 http://www.camlcity.= org/contact.html
Company homepage:=C2=A0 =C2=A0 =C2=A0 =C2=A0http://www.gerd-stolpmann.de=
------------------------------------------------------------


--000000000000891709059677af5e--