On Sun, May 31, 2026 at 06:06:44PM +0200, Alejandro Colomar via Mutt-dev wrote:
On 2026-05-31T15:57:30+0800, Kevin J. McCarthy wrote:On Sun, May 31, 2026 at 07:57:43AM +0200, Rene Kita wrote: > Please bikeshed the script name 'build' and if it should be placed in > the root directory. I kept the name from w3m, but there it is placed > in the test directory which makes it more obvious what the intend is.:D. I don't want to dictate, since you've put the effort in. My only comment is that "build" sounds like something an ordinary user might try running after checking out the git repos. So I would vote for moving the script somewhere (under .builds if that is legal), and/or renaming it to something less tempting to run, such as ci-build.I would like to avoid hidden dirs. Could we use something like scripts/?
The .builds directory is dictated by the sr.ht CI system. (Rene, please correct me if I'm wrong). Since we have the .yml files there already, it didn't seem too odd to have the "build" script which they all use there too.
-- Kevin J. McCarthy GPG Fingerprint: 8975 A9B3 3AA3 7910 385C 5308 ADEF 7684 8031 6BDA
signature.asc
Description: PGP signature
