From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id oG3cM09j92QDSQAAauVa8A:P1 (envelope-from ) for ; Tue, 05 Sep 2023 19:20:15 +0200 Received: from aspmx1.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id oG3cM09j92QDSQAAauVa8A (envelope-from ) for ; Tue, 05 Sep 2023 19:20:15 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id B095346D9F for ; Tue, 5 Sep 2023 19:20:15 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=g37bXGNo; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gmail.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1693934415; 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: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=/cELpEj+4pJ/h+n0yTpG1UKYRMVNzOtNn0SjqxIDdBk=; b=EcQELmFxqIBKCs6XcwgjNf3gb+3f4poemVbSLzrydjtto/nGEP0oyA4yHOYJtiVBQCZQLi ESlhiIZmEWzsnOQ4IVByQqTUTQK0ELyvJSX2oR3giaEPOOTnBOxFCewh88c7Xel95RFcMY 7Smc8sKBI5+5IHHYjFr7TDffmVxnOCRsMNBm2aU3AoakHYY22woKgDW3jRFHUidVVldf1n sClDeiukDAHCkEyEaHvOrnf4DRquuvn3G5v/+IvAvqfCsXRQ41l3i9ospJ4XTMcVQdOkco iDKdBX1gLny130y2M3eDsUScvWbVccSS8vdvHOoI3acd+osAAHtNTOg6w/Tsyw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1693934415; a=rsa-sha256; cv=none; b=qBrGzopa7Y5+QwQA7RhWdIkXXc0ri8rVSQ04C0ZSG9tbO0LMVnpzuM2nUwtv/M/OThuk7U HlUON4mDb6HfLC2mIOetzy7+0X3zdXcZLR89y1Z7Ndkl1SSA0DIM+DOz2ZSmSKbVDYsFsu Ab53j+Dmn1FOZcsiCR1ENl3u8kYm2ZRhBvnwRpiKdFljgQliZ7gHHF8yku9AnqZ4+DdZl7 epp2gV+a8i2kQ3Eyz5dBCOpckXij2dahHPPVu8k440IsHU6lz/aK2v5wSUzfu5W6OE+7QY 7nLloyCjxGL7rHECyakdw9XdEWBbt5Qi8ujveI7EWFLBgtASifoCoA9g+sJgaA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=g37bXGNo; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gmail.com Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qdZiW-00089Z-5b; Tue, 05 Sep 2023 13:19:56 -0400 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 1qdZiV-00089P-Gw for guix-devel@gnu.org; Tue, 05 Sep 2023 13:19:55 -0400 Received: from mail-il1-x135.google.com ([2607:f8b0:4864:20::135]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qdZiS-0000c8-Ci for guix-devel@gnu.org; Tue, 05 Sep 2023 13:19:55 -0400 Received: by mail-il1-x135.google.com with SMTP id e9e14a558f8ab-34dec9c77d4so9524995ab.0 for ; Tue, 05 Sep 2023 10:19:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1693934391; x=1694539191; darn=gnu.org; h=content-transfer-encoding:in-reply-to:from:references:newsgroups:cc :to:content-language:subject:user-agent:mime-version:date:message-id :from:to:cc:subject:date:message-id:reply-to; bh=/cELpEj+4pJ/h+n0yTpG1UKYRMVNzOtNn0SjqxIDdBk=; b=g37bXGNoWoxozy1KxR1Xrip7skwsSqsC72ifhwA1vK5vV5NMyrSSP67neyOKvliTD+ Msuf5g4EzvrVMQAz3loqH2MZCzp+opDsqjsyCEtWUTHd+dgWvFa9wpYCq8Sw8DtDqEjW /tItET/RXfQsSYo4V5lDguYTVF7+tV5987A942k3Htt0cPTrPCcnoQw18Q6aAqhpsQ2z js9FD8oFpsFx0Jy/WXqfjP+lfFqfWGnUqL+7Kww7Pro6izk2PokB3XlTyt0NtZp8rPP3 VwaAKmwUNbxHPCH1UQGlwRGFJI5rYAQQq4osFq77UklwnajotUCahBl4+1+TsgSNJ0jd VeoQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1693934391; x=1694539191; h=content-transfer-encoding:in-reply-to:from:references:newsgroups:cc :to:content-language:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=/cELpEj+4pJ/h+n0yTpG1UKYRMVNzOtNn0SjqxIDdBk=; b=ESzR0tpVk/gyccyJKzH6sTS6Sqwt6kH9o3bs6BOvPvvKn+Q4/sMno3yTc+jNgVn+jM zJSbmPg+OSRsl1/vcx8SQTm7+ZORHxRyHKIUVcCBw6IgjQ49b6OYy635Ia9ergkSghgi Il4TKciMLRtSRMkI5lgxNcDwmSCTA/R9SXJAZkYy3TDNkSQRgMYqmcDe/YmMxtEvlkYW 3Q9bTFcJGlzcymDfT9rKVmUteMTNOciKPjTfPBbWzuhFkcOr0PeDF25UHSnlXgS9FH8O 0Cr5GTbfyT9Lg08YiyKVOULXtW+6YPY0ysU7z8vTKmE0Gcuvdfel12RHI2h5SPVgGACK RCzQ== X-Gm-Message-State: AOJu0YxG8fFkH8TC5vycUDEpu+AwLwbRP23vbq4rBMOuzvi1csgPHCjl l8X3NBc8Dl/zJkGfLTCIx3k= X-Google-Smtp-Source: AGHT+IF3aTGLVEmlzLVNl91wzi3WvTMJL9Fga+Hes6TEoPg2tS3hqypyrcSTgaLIjHN5u7+NS1Gg8g== X-Received: by 2002:a05:6e02:1bcb:b0:34f:2756:8fd with SMTP id x11-20020a056e021bcb00b0034f275608fdmr2431574ilv.9.1693934391003; Tue, 05 Sep 2023 10:19:51 -0700 (PDT) Received: from [10.0.2.153] (c-174-51-218-141.hsd1.co.comcast.net. [174.51.218.141]) by smtp.gmail.com with ESMTPSA id y13-20020a92c74d000000b00348ea1a31ccsm4285163ilp.12.2023.09.05.10.19.49 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 05 Sep 2023 10:19:50 -0700 (PDT) Message-ID: <029ebafa-2644-b492-d86a-2261851c1f37@gmail.com> Date: Tue, 5 Sep 2023 11:19:49 -0600 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.13.0 Subject: Re: How can we decrease the cognitive overhead for contributors? Content-Language: en-US To: Maxim Cournoyer Cc: Simon Tournier , guix-devel Newsgroups: gmane.comp.gnu.guix.devel References: <871qfsuvad.fsf@gmail.com> <8e74c4ac-a6f3-9127-7e13-593a2eb70432@gmail.com> <87a5ubqxm6.fsf@gmail.com> <87a5u1s8u3.fsf@gmail.com> From: Katherine Cox-Buday In-Reply-To: <87a5u1s8u3.fsf@gmail.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2607:f8b0:4864:20::135; envelope-from=cox.katherine.e@gmail.com; helo=mail-il1-x135.google.com X-Spam_score_int: -35 X-Spam_score: -3.6 X-Spam_bar: --- X-Spam_report: (-3.6 / 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, NICE_REPLY_A=-1.473, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Scanner: mx2.migadu.com X-Spam-Score: -8.55 X-Migadu-Queue-Id: B095346D9F X-Migadu-Spam-Score: -8.55 X-TUID: XHSqtrDUSii1 On 9/4/23 7:32 PM, Maxim Cournoyer wrote: >>   13. Run `guix style` (this is still in the manual although I have since >>       learned this is not actually advisable). > > The intent is for it to be advisable -- when it's not, a bug should > be/have been reported against it to track its resolution. Thanks, Simon. I only became aware that it has quirks and should not be blindly trusted by reading through this thread. In the future, I'll modify my workflow to still run it, but treat it as untrustworthy, check its results, and report bugs against it.