From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id gL+AMGt/CGeTfQAAe85BDQ:P1 (envelope-from ) for ; Fri, 11 Oct 2024 03:29:16 +0200 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id gL+AMGt/CGeTfQAAe85BDQ (envelope-from ) for ; Fri, 11 Oct 2024 03:29:15 +0200 X-Envelope-To: patches@johnnyrichard.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=bvHzytny; dkim=pass header.d=johnnyrichard.com header.s=key1 header.b=thxQ4Zz1; spf=pass (aspmx1.migadu.com: domain of lists@sr.ht designates 46.23.81.152 as permitted sender) smtp.mailfrom=lists@sr.ht; dmarc=pass (policy=quarantine) header.from=johnnyrichard.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=johnnyrichard.com; s=key1; t=1728610155; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-unsubscribe:list-subscribe: list-post:dkim-signature; bh=oIyI5r4akslL9UjZS19Tir2jIf3FrhjsqCFcE1L+G3k=; b=2ieiArzVQsYdT4yeDVt+9CLg8dM2pwWG1qzj5pav1q2WTxcu5ZPZ/2W7BJWQlX79KZ9An9 7kUpx+/AZhjdyjQvWi7cvCdzJRq0KnK+/ZJRTEa+9CIO/cfYXfNlolNETz6Dffme7iCHZN amIhRI9oZkojWY7ojvYoIaKZVZCTEwM90Me/fEQZTh++ZHCd3sZEN4fRUcddovWbu3qs+g qVUfVut5mBaI8ueQJXJxmpUU4sD2ygxxF7Kneplm2uroJMqGn3R5PIQs6bnPXuqKflYH4u hojduSpZDpJEKebBCxG6yMdanMX+UT/4KUKvUEt8/XISwHXJ6rhUYL7+9IbJkQ== ARC-Seal: i=1; s=key1; d=johnnyrichard.com; t=1728610155; a=rsa-sha256; cv=none; b=SY1TFOx0I+lEa/Dkltn0mtGtQj3Xxnr0KhEHyMFGSWzfKMNfH9qdRrrlkBWid4EZk7Xyc/ wbjIZ68RnUJn8aklipku9aIRJykyi/5Z4dGC/4aNFJyc0IDVoqyBwNp2/nhONNTQEijx1n Pbn9id/fW/9eFZ3i13g2JdD7Kz5GxKA0D9vA2E+bJrmC7MZlReJ6AQmEIuobrDeanvrFNT T+EkC0p30K9a5haqSs5y7CAJpIGwgFjTdkvgDMNveuHDiBYlJRJmSzajy9B1EQe05Sy53p ymM+rf6FDLz07OXv3dTOTxk0E8p14RzfJqLGbtlF+kTMM/jInLyKd0zXkGY0hw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=lists.sr.ht header.s=20240113 header.b=bvHzytny; dkim=pass header.d=johnnyrichard.com header.s=key1 header.b=thxQ4Zz1; spf=pass (aspmx1.migadu.com: domain of lists@sr.ht designates 46.23.81.152 as permitted sender) smtp.mailfrom=lists@sr.ht; dmarc=pass (policy=quarantine) header.from=johnnyrichard.com Received: from mail-a.sr.ht (mail-a.sr.ht [46.23.81.152]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 50ACB3749 for ; Fri, 11 Oct 2024 03:29:15 +0200 (CEST) DKIM-Signature: a=rsa-sha256; bh=hXfjFWu78IDWhXgGl7vmix8oKXBxdEIlInsYh0EYiM8=; c=simple/simple; d=lists.sr.ht; h=Date:From:To:Cc:Subject:References:In-Reply-To:List-Unsubscribe:List-Subscribe:List-Archive:List-Post:List-ID; q=dns/txt; s=20240113; t=1728610155; v=1; b=bvHzytnyl7gQdLHw6XabLdNr/DIppK2Zcr+e2Zim6BGbJX+XNrcdZ5YjRhfXZv9AajqcCPAJ gXiDnOZQakPBVPdYYcI32uo8Ht/S4qgkDBalUzcJ1l6KHueeh6u/VayKW1JCuljFsh3YpRuzqWO HR/JGYkWQKNProwawSixEbAE6k8NV+ihGCyZc2mOcE/u7qOZXQtE7RfyIzi+km2AAb8pxbaW8b8 VbOhV0GjmA2uFmC3+VHBrd6AHjLGT05F/BIa2Eg9X6Bpi2HFsx5PATQ+ZaaQHeF0XjN0uE6sbVa wFnb1NndCvPha+HN7CNXANBBh9ViKnIcZNDAcjQsJSjkQ== Received: from lists.sr.ht (unknown [46.23.81.154]) by mail-a.sr.ht (Postfix) with ESMTPSA id 057EA20233 for ; Fri, 11 Oct 2024 01:29:15 +0000 (UTC) Received: from out-176.mta0.migadu.com (out-176.mta0.migadu.com [91.218.175.176]) by mail-a.sr.ht (Postfix) with ESMTPS id 7878A2022B for <~johnnyrichard/olang-devel@lists.sr.ht>; Fri, 11 Oct 2024 01:29:14 +0000 (UTC) Date: Fri, 11 Oct 2024 05:28:32 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=johnnyrichard.com; s=key1; t=1728610153; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=oIyI5r4akslL9UjZS19Tir2jIf3FrhjsqCFcE1L+G3k=; b=thxQ4Zz1ypnVhfXrYFKgT0ujJKQ/NHgcvJp4zSnq+iedsMcRaWbn8XpoqzQOxoz+SsWoaM VZg86iR5nal4hUt4bA4kIMfPkW1LSID23Yypp8PXIaQe5n4yGBBySmn2f6iiv53Ye9fBTd HpO/9gZSyrd1tINYX/GWymcq21nuqMt5sNoW2xhgUVXKluhqwSO39HvDq2zx1siEZX/jAz GRubtnFR4iNHhGPPFFIi0R6Z4SoZhgXJJfSeVPIkSAzdOz91XJKrqtV5xDusHOICvt36AR orRYGWIjwqqyb7j2q+GJRMUqKNfkOuF8CB+G8O9eJqqIfk4e8YxKvk9sbBeieg== X-Report-Abuse: Please report any abuse attempt to abuse@migadu.com and include these headers. From: Johnny Richard To: Carlos Maniero Cc: ~johnnyrichard/olang-devel@lists.sr.ht Subject: Re: [PATCH olang v1] spec: add contrib bin script for validating olang spec Message-ID: X-Sourcehut-Patchset-Update: APPLIED References: <20241011032423.102012-1-johnny@johnnyrichard.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: List-Unsubscribe: List-Subscribe: List-Archive: Archived-At: List-Post: List-ID: ~johnnyrichard/olang-devel <~johnnyrichard/olang-devel.lists.sr.ht> Sender: ~johnnyrichard/olang-devel <~johnnyrichard/olang-devel@lists.sr.ht> X-Migadu-Flow: FLOW_IN X-Migadu-Country: NL X-Migadu-Spam-Score: -5.88 X-Spam-Score: -5.88 X-Migadu-Queue-Id: 50ACB3749 X-Migadu-Scanner: mx13.migadu.com X-TUID: 2Fx1MUlOTXIP Thanks for reviwing it. Applied! To git.sr.ht:~johnnyrichard/olang 3c15dde..9d94b76 main -> main