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 0A6F782581 for ; Mon, 11 Mar 2019 12:06:52 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sp@orbitalfox.eu; spf=Pass smtp.mailfrom=sp@orbitalfox.eu; spf=Pass smtp.helo=postmaster@orbitalfox.eu Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.eu) identity=pra; client-ip=95.172.232.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sp@orbitalfox.eu"; x-sender="sp@orbitalfox.eu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of sp@orbitalfox.eu designates 95.172.232.202 as permitted sender) identity=mailfrom; client-ip=95.172.232.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sp@orbitalfox.eu"; x-sender="sp@orbitalfox.eu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@orbitalfox.eu designates 95.172.232.202 as permitted sender) identity=helo; client-ip=95.172.232.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sp@orbitalfox.eu"; x-sender="postmaster@orbitalfox.eu"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AZ/6+ThxI1HHb7RfXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1e0WIJqq85mqBkHD//Il1AaPAdyDraodw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94DPbwlSmDaxfK55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRH1li?= =?us-ascii?q?kHOT43/mLZhMN+g61Uog6uqRNkzo7IYoyYLuZycr/TcN4YQ2dKQ8ZfVzZGAoO5?= =?us-ascii?q?d4YBEvAPNvtfoonmv1sDthy+BRO3C+Pu1j9HnHv23aM90+UuCw3JwhEgEssIvX?= =?us-ascii?q?/Jotv1M6ISXvq0zKnO1TjDaO9Z1i346IjMaBwhpuuMXb12fMHMykcvDxvIg1GQ?= =?us-ascii?q?pID/Ij+Y1PoBv3KF4+duS+6jkXArpx1vrjWp28wikJPGhpgPxVDB7Sh5wJg6Jd?= =?us-ascii?q?m/SENjZt6kCoBftyCGN4RsRsMiTWZouSkgxrIYpJ63ZCkKyJI5yB7Dc/GKd4iF?= =?us-ascii?q?7gj+WOuTPzt0nmxpdbyhixqo70Ss1vPwWtGx0FlQrypFltfMtmoK1xzW8sWHUe?= =?us-ascii?q?N981ym2TaVzA/T6/1ELlowlarVLJ4gzaQ8mYQOsUjbBC/5hF32jLOKdkUj4uWn?= =?us-ascii?q?9/7oYrDippOFM490ixr+Mrg1l8ykAeU4NxAOUHKB9eS90r3j50z5T69Qgv04iK?= =?us-ascii?q?mK+KzdcM8So6r8Bw5Ozq4i7Qy+BnGoyoc2h34CeWl9MEacl6DuIVvPPPn8A/Cv?= =?us-ascii?q?xVmxxmQ4j8vaN6HsV82eZkPIl63sKO4kuhxsjTErxNUa3Kp6T7QIIfb9QEj07Y?= =?us-ascii?q?GKCQUzMhC9x+jgGJNwy9FHAD7dMuqiKKrX9GSwyKc3OeDVOd0Sojz8N/Eh6fn+?= =?us-ascii?q?y3IkywdEIPuZmKAPYXX9JcxIZkWUZX2134UGC20LogM6Quv6zlCfA2de?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CuSwBBQIZcZMrorF9kHQIfBQeBRAcEA?= =?us-ascii?q?YEnZmiBAyeECZNIgWiDf5RNgXowCAGENgIIAguELxsGAQQ2BAwBAQMBAQcBAwE?= =?us-ascii?q?BAQRdJwyCOiKCbwYjHQEBOA8LGgImAgI9GhMIAQGDHgGBeQuuH3GBL4J4AQEFh?= =?us-ascii?q?x4DBYELJAEBAQGLKReBf4E4DIE3BnQugUGEDYI9gleROgWSVw4Jh1GLNR+BaQG?= =?us-ascii?q?RUJBdiS2FPgcWgVdzEjsHgghdgiKEV4QThT8/AzCBAwGPOAEB?= X-IPAS-Result: =?us-ascii?q?A0CuSwBBQIZcZMrorF9kHQIfBQeBRAcEAYEnZmiBAyeECZN?= =?us-ascii?q?IgWiDf5RNgXowCAGENgIIAguELxsGAQQ2BAwBAQMBAQcBAwEBAQRdJwyCOiKCb?= =?us-ascii?q?wYjHQEBOA8LGgImAgI9GhMIAQGDHgGBeQuuH3GBL4J4AQEFhx4DBYELJAEBAQG?= =?us-ascii?q?LKReBf4E4DIE3BnQugUGEDYI9gleROgWSVw4Jh1GLNR+BaQGRUJBdiS2FPgcWg?= =?us-ascii?q?VdzEjsHgghdgiKEV4QThT8/AzCBAwGPOAEB?= X-IronPort-AV: E=Sophos;i="5.58,467,1544482800"; d="scan'208";a="298787744" X-MGA-submission: =?us-ascii?q?MDEguAKV14YdfHE7pUx/rTpUgivjG0Ze3tmHoU?= =?us-ascii?q?URTieg+JIiMQS8JhrkYOZVeo121Ra8QCinlvgbb7fCXgboEpFI9v1QyW?= =?us-ascii?q?JWAEW5Sa8+1G4VyZ2EJ/riruIX4eITI5n0rzpi7vxuzy95S/gZkYkzSB?= =?us-ascii?q?j9vVdglJgRcNimgxGL3OYE4Q=3D=3D?= Received: from orbitalfox.eu ([95.172.232.202]) by mail3-smtp-sop.national.inria.fr with ESMTP; 11 Mar 2019 12:06:51 +0100 Received: from Tiger.local (unknown [192.168.88.17]) by orbitalfox.eu (Postfix) with ESMTPSA id 60E23AA0053 for ; Mon, 11 Mar 2019 11:06:50 +0000 (GMT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=orbitalfox.eu; s=orbitalfox; t=1552302410; bh=9+LwGMVVCObpUriyHPuHRYvAOkl8cCtfMcQ95Y9TXGA=; h=Subject:To:References:From:Date:In-Reply-To; b=eFLpy0E1Bs66OvgdX9x0REwN8U6BSU9ulTA+Ba3+VeX41aTj5vmwjhiBi/QxOQey+ hIUDfzrykmGsNLzOYp3rUoaHLeBy0OCR7F93K4vTUwKTl1uXQanZITi5ixp8VXMhkO 6gJL9eK3APwtr99VNkCSDReQ+PxczBjuePUqcraKqrTycpovkSGfqPh5beTM+JMrE0 WjCNxgj7dhx/uamSMJvOb7go5mZMZ4M7CBUCFZtPSFZut9GpoZUF46Qcb1Xrf6OgKG veE+WRZ6yeABvI8/dRqTmEi8/A+vTg05fXVvW/tWUV0ct0ZEfFW3RLE6I7PvOTaIeB Kfz8bBCtsZ4kQ== To: caml-list@inria.fr References: From: SP Openpgp: preference=signencrypt Autocrypt: addr=sp@orbitalfox.eu; prefer-encrypt=mutual; keydata= mQENBEzJuesBCACrBf7AHksxo6qXu1PhFpUUC/1mMj6LAlbGgtoUN8YKeIKJW5Ip7njr/ez3 Hz7n+VlxMD/nMeOEqUrVQrsz9d/vUhaAAlqQUnkYI/qNQZev6HZ9RSyP0TkG3fmu3+Uqwqu0 kir2cciis7Yi99H0iLglNiNzw0xjSxMyo4c5HEhELtNeIksqCqOi9Vt2dqBFkVSjZ6ik7nne CLFkyTlzpoxMQw4HU4yEn9Fzb85JK1BhRrSrapmU1RU4PCzxmNC3muYYE2YYcig1Meroc/jd tSwXlok6cbd0LgQWWnMMxvDtVpa1mW8NpTXaIZiS3v5kpXEkLzPX0f/dcdcYREk4eP87ABEB AAG0JVN0YXZyb3MgUG9seW1lbmlzIDxzcEBvcmJpdGFsZm94LmNvbT6JATcEEwEKACEFCwkI BwMGFQoJCwgDBBYCAwECGQEFglRUMbECngECmwMACgkQVH8vgPRywzvLoQf/XB8l3N3OXUtI LcDADu/SvuXDI5cbvRgVSu9fi6xn4cYy42KcOXhiS9Wt2unZuLWSIAv/F2Pdbxm+eofARvMY Dzk7GYnOOZfmHpg1TTzMkNIRWdtygTh2uZtiSWqQw4VFZ1lNGBAtD3aVKTeHNvUa2IzF6L/S HO68gIt3Fv4lugbtk3AqFeQWhh7eGM7MnC2Xmj8fBh2omnp+5CncMraz8SRnjQsdwPVK6P58 lJ6UdufHM/JN+Ft1nOOLNIPVftE1Tb5yPGGgg35i5K5gXDPuNZ4NeNjc86+da+3Av/ycP4PB UBaOBQWqCEFEcAZ19XP/tPvXq1RlrzjQG8HK+v5IBrkBDQRMybnrAQgA2pfyjnLlyEfgpPAE yeLVgeHUbP8rCwWmEhPth+Ss/qnn1nS7iMBbCQeNMUkhUYsgdgfjAYh8yWl6xDnKYfcY8HFA 0xxqzFf722buFLOmrlksuRuZ9yY+B/zQZTekt/VRmfgKc7E8GkLQIDsNsVbEg/9YNqlx8hEp o4cacH6PwAKUpjznGLrGk3gS1lKHIhD+TGEBon4Ko5EQYq75OGpmReO1WF+8DP7nGeUJlGnf kx1RM8oNjOFk8wSHBfkH6ljljS3ppSZHYIbWlLILeMYFNfBHZhKAi4myKEA5GzATLclKJO+D +H3gjMygnFGCIXFHOzS1ghhkQcTCNqBL6aNs+wARAQABiQEfBBgBAgAJBQJS5lZ2ApsOAAoJ EFR/L4D0csM7utoIAKaefWdc+XTexGCVr/4hJBMZpYAnHiNRRScZMTgJoHLs9A7QVaVG9DqO W6dj2fSl4ys24movEbqNqMaF5Zshn1ZMZy07w0DgbM4y81SFFuhkvK6iO4XwYXndxfJ6vgV3 87BAOzZYngSVXAd8EohnkZEf4tp0xdO9tvbAIPGmDLuA86vdJXKPGMRpuLWhx0d4boJWBz3D QZNGTL+8Fg6e3pjcE4SRQsztPmDIp3LvzR3OyyUivL4aiKRhH/4Cw23oFF7Ur+CARmns113l G6hWOYX4b3Hz2THY3dRRDRRs43v+FE1W1EBjkE4S4sBudl8fwHdBBr9tiNHEdCeMaDZuNjU= Message-ID: <6cbd94e2-d103-1874-fb62-67981c7772f3@orbitalfox.eu> Date: Mon, 11 Mar 2019 11:06:52 +0000 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.12; rv:60.0) Gecko/20100101 Thunderbird/60.5.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-GB Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] IMPORTANT: Switching from Mantis to GitHub issues on March 14th Is it possible to use a different platform, not Github? A discussion on the issue: https://discuss.ocaml.org/t/publishing-without-github