From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Helmut Eller Newsgroups: gmane.emacs.devel Subject: Re: Helping with MPS Date: Wed, 21 Aug 2024 11:23:02 +0200 Message-ID: <87y14qp6vd.fsf@gmail.com> References: <877ccbb3a9.fsf@protonmail.com> <87frqy5quh.fsf@gmail.com> <87o75m9ucq.fsf@protonmail.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="19203"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Gerd =?utf-8?Q?M=C3=B6llmann?= , emacs-devel@gnu.org, Jonathon McKitrick To: Pip Cet Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Wed Aug 21 11:24:09 2024 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1sghZZ-0004uE-6R for ged-emacs-devel@m.gmane-mx.org; Wed, 21 Aug 2024 11:24:09 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sghYa-00071p-7d; Wed, 21 Aug 2024 05:23:08 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1sghYZ-00071d-1Y for emacs-devel@gnu.org; Wed, 21 Aug 2024 05:23:07 -0400 Original-Received: from mail-ed1-x533.google.com ([2a00:1450:4864:20::533]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sghYX-0003zj-EU for emacs-devel@gnu.org; Wed, 21 Aug 2024 05:23:06 -0400 Original-Received: by mail-ed1-x533.google.com with SMTP id 4fb4d7f45d1cf-5bec78c3f85so5821331a12.1 for ; Wed, 21 Aug 2024 02:23:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1724232184; x=1724836984; darn=gnu.org; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=tFO+y2hN8CkU930eaXhzSIvCaFWGMTzIyTBa6q8CpXg=; b=ZEqFWzXuGdvJUK9WeTm2Tfc/D5TRleydGlRPUf62uAekSbEaSuGzhsxJwpf2MOX90b 5YJRL/BvJZvfZo0UxWCmNoH8qY0W4spJsCIGV/A8rmRbX+AQgJyf3LjOfa14qvmdm1Si E/gRDArMDxZGCoLdXgxq4d2Sm/0Yr0sNET/wEitnkmRm+cwYOpihzqW80SPutidoSGJS ND5TPdmFCTe0gea0OP0ygOVWZd5rQy1nIEoak6yYuKrYr2mPna8UXyc8W7mzEZh5ggdS cyRzXlSd6LtGsfafOOJ0/+/KVNiC1f5hR5GlKT+Mph2h3FXr7dLQmMnaENoD8LiMMM28 C5vw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1724232184; x=1724836984; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=tFO+y2hN8CkU930eaXhzSIvCaFWGMTzIyTBa6q8CpXg=; b=BidC3C1CZjmbqy5TxwT/LrtpCXXrCbQykXzHzOYvvLr226gMQtWW8LdRfkYZ9FkeBb r4l56SudhhHQJmZM6ArDgkFN0ov51JRNOIqsdq+vSD42q8LlS1+Mmp5hsjTw4JbJSgTw um6M2gezbm+YQdUrH//7Ga/HCenG70NXmoW6Lb7/E5DwnHZwQjL5xY0MpcJsfoIxh1DP LepyTU5AqyTlCXCqgQYx1QG3J+K4AyF50MxSC4VHbQCcClNktg5Ys8+h5hVzzx7tl0Mv DSOAb1J1RtzHbZyUt7/52+vCklaFmHyIAw19c2lKnexPC35tU8vX41vSbFxQwFD/BI5R o6gA== X-Forwarded-Encrypted: i=1; AJvYcCWnhjpxG4g4tWKLd5chaYhz2ZdDpLkY6OscZZDNV/1Y7purFnCyLN6ITFaYZ/pmOWlxTRdS4yH3OkD5sg==@gnu.org X-Gm-Message-State: AOJu0YzpDhhibhguZup9BcAzcnxipct/PIFp6ix//6dt1/tCW+gO2l14 ngKBYFFmke25B4kTrKHBwYAQA7yZNCbTTZH1GsvTwHKGA0nBfqy8mkWjPA== X-Google-Smtp-Source: AGHT+IF9mn4GgplLyCbxLcu6pEBvA8UmcOks2gBweEdfnn0Ea2LtpU3GurDUaEwnor5ezyVT55/BIw== X-Received: by 2002:a05:6402:2346:b0:5a3:f5c6:7cd9 with SMTP id 4fb4d7f45d1cf-5bf1f23e0admr969661a12.26.1724232183461; Wed, 21 Aug 2024 02:23:03 -0700 (PDT) Original-Received: from caladan (dial-181089.pool.broadband44.net. [212.46.181.89]) by smtp.gmail.com with ESMTPSA id 4fb4d7f45d1cf-5bebc081bbdsm7741612a12.92.2024.08.21.02.23.02 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 21 Aug 2024 02:23:03 -0700 (PDT) In-Reply-To: <87o75m9ucq.fsf@protonmail.com> (Pip Cet's message of "Wed, 21 Aug 2024 08:02:34 +0000") Received-SPF: pass client-ip=2a00:1450:4864:20::533; envelope-from=eller.helmut@gmail.com; helo=mail-ed1-x533.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:322996 Archived-At: On Wed, Aug 21 2024, Pip Cet wrote: >> What would you think about creating fork of MPS (on GitHub) >> that includes: > > I'm not a huge fan of GitHub, to be honest. There's already > https://codeberg.org/pipcet/mps, so maybe we can use that and mirror to > a GitHub repo if that's desirable? It think that at least something should be on GitHub, because Ravenbrook puts MPS there.