From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 388E95D5 for ; Sat, 4 Apr 2020 13:29:32 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.72,343,1580770800"; d="scan'208";a="443810829" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Apr 2020 15:29:31 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7E7C17F467; Sat, 4 Apr 2020 15:29:31 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A376E7F42C for ; Sat, 4 Apr 2020 15:29:16 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=fox@orbitalfox.eu; spf=Pass smtp.mailfrom=fox@orbitalfox.eu; spf=Pass smtp.helo=postmaster@orbitalfox.eu IronPort-PHdr: =?us-ascii?q?9a23=3A0UNYgxby0gKnllfa3nmgjH7/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoM+zbnLW6fgltlLVR4KTs6sC17OL9fiwEjJZqdbZ6TZeKcAKD0dEwe?= =?us-ascii?q?wt3CUeQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?= =?us-ascii?q?br+tQt2agMu4zf299IPOaAtUmjW9falyLBKrpgnNq8Uam4RvJrsxxxfTvndFeO?= =?us-ascii?q?tayGJ1KVmOmxrw+tq88IRs/ihNtP8t7dJMXbn/c68lUbFWETMqPnw668HsqRTN?= =?us-ascii?q?VxaE6GEGUmURnBpIAgzF4w//U5zsrCb0tfdz1TeDM8HuQr86RTqt76FwSB/1ky?= =?us-ascii?q?gHLCI28HvWisNrkq1Wpg+qqgFlzI7VZIGVM+d+fr/YcNgHS2dNQtpdWipcCY66?= =?us-ascii?q?coABDfcOPfxAoofguVUOoxuwCwqiCuzhxTBHhGP506Ih3uQ9EwzLxhAsE84AvX?= =?us-ascii?q?nWqtj+KaccUfqyzKnN1TjDaOlW1iz86IjGfREqvPaBXbx3ccve0kQvEBnFgU6R?= =?us-ascii?q?qYz5JTyV0uoNs2+U7uZ6S+2vlncqpgdsqTahwccsj5PGhoMTyl3c9CV5xpw1Jd?= =?us-ascii?q?yiR0Jhb96kCp1dvDyZOYtuWs4vR2FltDwnxrAEp5K3ZjYGxZo5yxLFdfCLb5aE?= =?us-ascii?q?7xT+X+iLOzh4nmhqeLenihay70egzur8W9Gz0FZQtSVFk8XMuWoJ1xzd7ciGRe?= =?us-ascii?q?Fx8Vm82TqX1gDT7P9LIVwsmKffK5Mt2KM8m5gNvUjZACP7llv6gLWIekk45OSk?= =?us-ascii?q?8+Hnba/npp+YOY90kAb+MqE2l8yxBuQ5PRMDX2+B+eun1b3j4Vf2QLFEjv0xna?= =?us-ascii?q?jVqo7VJdkDqq6jHwBVypoj6wq4Dzq+zNsXh3wHLFZcdBKDjojpIE3OLevjDfa/?= =?us-ascii?q?hlSsiC1ky+rHPr3nGJXNL2LMnK3vfbZnuAZgz184xNVbopZVEa0pIfTpW0a3us?= =?us-ascii?q?aLIAU+Nlmz2ezmBsU1go0ZSUqIGKWYLKrWv1iYoO8ydbrfLLQJsSrwfqB2r8Xl?= =?us-ascii?q?imU0zAdELPuZmKAPYXX9JcxIZkCQYH7imNAESDpYuRA0TfDjjFOFQXheeiTrBv?= =?us-ascii?q?9u1nQAEIujSLz7aMWtjbiGhXrpGYdcZ3xPDl6LATHlatfdAqteWGepOsZk1wc8?= =?us-ascii?q?e/25UYZ4iEOprgX717NjIO3EvCAF58ru?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CTMQCPioheZMrorF9mhGpsA1IyKoQbj?= =?us-ascii?q?n1RAQEBBoEKCCUOg2GXWAoBAwEMGxEBAgQBAYFQgnQCC4I7HQYBBDQTAhABAQU?= =?us-ascii?q?BAQECAQIDBAEEXYVhDII7IoMTAQEBAQIBIxUIAQE4BAsLGAICJgICVxMIAQGDI?= =?us-ascii?q?gGCVwUkri91gTKCfwEBBYJFhSgJgQ4qjDEaeYEHgTgMgTR7Lj6BfoJpNIJFgl6?= =?us-ascii?q?YJZh3giMkghuFVY8zCBuCOxGBBIc0hDaMRos8oEKBaSGBWHMSO4JpCUcYDZMRP?= =?us-ascii?q?YkYQAMwgQQBjlkBAQ?= X-IPAS-Result: =?us-ascii?q?A0CTMQCPioheZMrorF9mhGpsA1IyKoQbjn1RAQEBBoEKCCU?= =?us-ascii?q?Og2GXWAoBAwEMGxEBAgQBAYFQgnQCC4I7HQYBBDQTAhABAQUBAQECAQIDBAEEX?= =?us-ascii?q?YVhDII7IoMTAQEBAQIBIxUIAQE4BAsLGAICJgICVxMIAQGDIgGCVwUkri91gTK?= =?us-ascii?q?CfwEBBYJFhSgJgQ4qjDEaeYEHgTgMgTR7Lj6BfoJpNIJFgl6YJZh3giMkghuFV?= =?us-ascii?q?Y8zCBuCOxGBBIc0hDaMRos8oEKBaSGBWHMSO4JpCUcYDZMRPYkYQAMwgQQBjlk?= =?us-ascii?q?BAQ?= X-IronPort-AV: E=Sophos;i="5.72,343,1580770800"; d="scan'208";a="443810737" X-MGA-submission: =?us-ascii?q?MDEFf0Z4E9A+nbLpsWjhHsAIHHJ5z2xta0mVk/?= =?us-ascii?q?zq1SWQayRGvrRhtA7laKRtbnAzK8McKYn8wdZBKe5MxLKCtmVpVfOjnM?= =?us-ascii?q?eyye2OIaGxSygpIeWgKGw04zYHyKbQXHzprHh8WzcvTg5qJH4JMxYhDU?= =?us-ascii?q?dNjG1czJpn6FmVE8hkQb3D3A=3D=3D?= Received: from orbitalfox.eu ([95.172.232.202]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 04 Apr 2020 15:29:16 +0200 Received: from [192.168.88.5] (unknown [192.168.88.5]) by orbitalfox.eu (Postfix) with ESMTPSA id 1340DAA0025 for ; Sat, 4 Apr 2020 14:29:15 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=orbitalfox.eu; s=orbitalfox; t=1586006955; bh=4ChW5a8+uaUOXSZG4sJKtDlIDDn21+56+d/ZrvrV0Sc=; h=Subject:To:References:From:Date:In-Reply-To; b=GsMlgTK6EE2TXKAtDvIGcp3EDOk/JvPjys/CkMOBuMz+DByHy60qhEOByj4UV2fkk uJqhHurH8k8YkRss5/sSTMZrpnQ6CdY+e1BZlEpuaMwh69OKYAgBsAXTUiKGMR7LO5 /HySukgu3SgJ+CIf1A2M7HuLJZKWK3nqKf0K/Eks5chOWwQsy4HOc9CpBHou2MU97H 1YUm3gRvZpELN/HL//LbNimP5A+Pj4OOhgks+aNbapVakMkoUs+yGi46CeILRe1YGd s+q+YQGwJFQg7rbbs2SQazLLB6fuJqNPlb8F/FLqlmsZnTGwSXAifX/8L/DffCDXrN PIKicSe/hUx4g== To: caml-list@inria.fr References: From: orbifx Message-ID: <35914488-1401-ccb3-50d8-5014f2aa1191@orbitalfox.eu> Date: Sat, 4 Apr 2020 14:29:13 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.12; rv:68.0) Gecko/20100101 Thunderbird/68.6.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-GB Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Announcing Sek, an efficient implementation of sequences Reply-To: orbifx X-Loop: caml-list@inria.fr X-Sequence: 18081 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: On 04/04/2020 14:17, Gabriel Scherer wrote: > 1. gitlab.inria.fr makes it difficult for non-INRIA people to contribute (they cannot open a pull/merge request). Only for those who don't know how to contribute without "opening" a pull request. Which is otherwise as simple as sending a message with: here is my repo URL, please pull; or here is my patch attachment. > It is a mistake to use it for publicly-distributed software. I think not. I find it positively refreshing to see something outwith Gitlab's dominance. So it's a matter of opinion.