From: Joel Brobecker via Gdb <gdb@sourceware.org>
To: Luis Machado <luis.machado@arm.com>
Cc: Andrew Burgess <aburgess@redhat.com>,
Mark Wielaard <mark@klomp.org>, Simon Marchi <simark@simark.ca>,
Joel Brobecker <brobecker@adacore.com>,
Simon Marchi via Gdb <gdb@sourceware.org>
Subject: Re: Any concrete plans after the GDB BoF?
Date: Tue, 14 Feb 2023 09:48:46 +0400 [thread overview]
Message-ID: <Y+sgvvzZLmnSbJ92@adacore.com> (raw)
In-Reply-To: <7112932f-4260-2f33-e619-c7130e0abb20@arm.com>
> > Now, where this might save time is if we had some kind of git hook which
> > could validate the code was formatted correctly and reject push attempts
> > if they are not formatted. Then I could stop thinking about
> > formatting. But until then .... I don't think reviewers will be able to
> > stop asking: is this formatted correctly?
> >
>
> That's what I have in mind. Some pre-commit hook that checks/does
> things. Obviously we're not there yet, but that would be the most
> convenient way.
>
> I think anything that needs to be checked by hand wouldn't be an
> improvement compared to the current process.
As long as the the tool is able to do the formatting of a given file
using only that one file, the git-hooks are ready. There is a
style_checker option which is currently calling a script that does
nothing. But if we have some tools that check things such as formatting,
copyright header format, etc, it's easy to insert them and reject
the commit.
The problem is that this arrives too late in the process, IMO, because
by then, the review has already gone through. For a formatting issue,
one could argue that the change is trivial, and therefore automatically
re-approved, but this is not ideal.
What we would want is some kind of CI system which, from the moment
the developer proposes a patch, gets the change validated through
the CI. Style-checking is usually quick, so a good candidate for
a CI. But how to integrate that without starting to re-invent
one of those existing Git review or Git hosting systems that already
exist?
What this discussing is showing, IMO, is that the email-based system
of proposing and reviewing patches may be fast and comfortable, but
has some limitations compared to other more modern systems that seem
hard to overcome. We can find technical solutions that overcome those
issues, but each time I try this exercise, I find myself thinking
the problem has already been solved is there for the taking if only
we could accept email-based workflows might be degraded, possibly
to the point where it becomes more productive to use the recommended
interface (e.g. website).
Good or bad, my concern is that the younger generation views emails
as antiquated and at the same time they have grown up learning about
collaboration using systems such as GitLab or GitHub.
I apologize for widening the discussion from code formatter to
review system. It's not how I planned this message when I started
replying, but it seemed natural to add the comment about how we
manage patch submissions and how we do reviews.
--
Joel
next prev parent reply other threads:[~2023-02-14 5:49 UTC|newest]
Thread overview: 43+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-10-27 10:47 Luis Machado via Gdb
2022-10-28 16:16 ` Simon Marchi via Gdb
2022-10-28 16:51 ` John Baldwin
2022-10-28 16:54 ` Simon Marchi via Gdb
2022-10-31 9:28 ` Luis Machado via Gdb
2022-10-31 13:17 ` Simon Marchi via Gdb
2022-10-31 13:37 ` Joel Brobecker via Gdb
2022-10-31 14:15 ` Simon Marchi via Gdb
2022-10-31 17:31 ` Joel Brobecker via Gdb
2023-02-11 17:13 ` Andrew Burgess via Gdb
2023-02-12 12:43 ` Mark Wielaard
2023-02-13 11:54 ` Andrew Burgess via Gdb
2023-02-13 12:52 ` Luis Machado via Gdb
2023-02-13 14:24 ` Tom Tromey
2023-02-13 14:42 ` Luis Machado via Gdb
2023-02-13 15:13 ` Andrew Burgess via Gdb
2023-02-13 15:23 ` Luis Machado via Gdb
2023-02-14 5:48 ` Joel Brobecker via Gdb [this message]
2023-02-15 14:47 ` Andrew Burgess via Gdb
2023-02-16 4:14 ` Joel Brobecker via Gdb
2023-02-16 9:51 ` Mark Wielaard
2023-02-16 10:16 ` Joel Brobecker via Gdb
2023-02-16 11:58 ` Eli Zaretskii via Gdb
2023-02-16 13:31 ` Joel Brobecker via Gdb
2023-02-16 15:23 ` Eli Zaretskii via Gdb
2023-02-14 13:07 ` Mark Wielaard
2023-02-14 14:23 ` Pedro Alves
2023-02-14 13:00 ` Mark Wielaard
2023-02-15 14:36 ` Andrew Burgess via Gdb
2023-02-13 14:05 ` Tom Tromey
2022-12-15 10:17 ` Luis Machado via Gdb
2023-01-01 22:02 ` Mark Wielaard
2023-01-20 17:30 ` Tom Tromey
2023-01-20 20:30 ` Tom Tromey
2023-01-27 15:50 ` Lancelot SIX via Gdb
2023-01-27 23:50 ` Tom Tromey
2023-01-30 17:43 ` Lancelot SIX via Gdb
2023-01-30 18:46 ` Mark Wielaard
2023-01-30 21:08 ` Tom Tromey
2023-02-04 11:36 ` Mark Wielaard
2023-01-31 10:00 ` Lancelot SIX via Gdb
2022-12-13 2:48 ` Frank Ch. Eigler via Gdb
2023-02-16 8:53 anix via Gdb
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Y+sgvvzZLmnSbJ92@adacore.com \
--to=gdb@sourceware.org \
--cc=aburgess@redhat.com \
--cc=brobecker@adacore.com \
--cc=luis.machado@arm.com \
--cc=mark@klomp.org \
--cc=simark@simark.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox