Hi,
The git mailing list archive is at https://public-inbox.org/git/ (search
for submodules and progress)
The mailing list itself is at g...@vger.kernel.org - it does not accept
any HTML at all (treated as spam).
The guidance is at
https://github.com/git/git/blob/master/Documentation/SubmittingPatches
Maybe consider step 1 as simply updating the submodule documenation, and
step 2 as changing the default (maybe as a series)
Philip
On 13/06/2019 14:50, Mateusz Krawczuk wrote:
Recently I was cloning a very big submodule of a project. After
waiting ~30 minutes and only seeing the "Cloning into... " message, I
assumed something is wrong and git is silent about it for some reason.
So I started to look for something like '--verbose' or '--debug', and
stumbled upon '--progress'.
It got me thinking - what is the point of this option after all?
Wouldn't it be better from the user experience perspective if the
progress was shown by default, just like in case of many other
commands like 'clone', 'fetch' or 'pull'? You can silence the progress
status by using the -q (or --quiet) option.
The option '--progress' being absent from the 'git submodule --help'
page also doesn't help. It is, however, present in 'git
submodule--helper --help' output.
I am eager to make a change request and remove this flag or make it
true by default if someone would be kind enough to advice me where is
the code that needs to be changed.
--
You received this message because you are subscribed to the Google
Groups "Git for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to git-users+unsubscr...@googlegroups.com
<mailto:git-users+unsubscr...@googlegroups.com>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/git-users/b3bb580f-5e29-4466-8a24-a8df9ee82c8c%40googlegroups.com
<https://groups.google.com/d/msgid/git-users/b3bb580f-5e29-4466-8a24-a8df9ee82c8c%40googlegroups.com?utm_medium=email&utm_source=footer>.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups "Git for
human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to git-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/git-users/09a34ee7-81c8-255b-b41b-469e9428a10c%40iee.org.
For more options, visit https://groups.google.com/d/optout.
