[Bug web/115391] New: Suggest add current size of git repository to git page

[Bug web/115391] New: Suggest add current size of git repository to git page

[dcb314 at hotmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115391

            Bug ID: 115391
           Summary: Suggest add current size of git repository to git page
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: web
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

On the web page for git (gcc.gnu.org/git.html),
it might be worth mentioning that the current git repository
for mainline is about 3 million objects and about 1.2 Gig in size.

This matters for those of us on slow internet connections when we do 

$ git clone  git://gcc.gnu.org/git/gcc.git trunk

when the messages from git get a bit cryptic and we have to start again
with a clean trunk.

[Bug web/115391] Suggest add current size of git repository to git page

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115391

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
You really shouldn't ever need to start again, you can just do:

git fetch origin && git reset --hard origin/master

[Bug web/115391] Suggest add current size of git repository to git page

[sjames at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115391

Sam James <sjames at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sjames at gcc dot gnu.org

--- Comment #2 from Sam James <sjames at gcc dot gnu.org> ---
I don't see much value in this personally. There's a lot of big git repos out
there and very few projects do this.

If anything, I see it as a feature that it prompted you to ask this, because as
jwakely says, it implies a workflow issue...

[Bug web/115391] Suggest add current size of git repository to git page

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115391

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |WONTFIX

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Also you can use `--depth=1` to speed up the checkout if you don't need the
full history.

I am going to close this as won't fix as this is a workflow issue and there are
ways to improve the workflow even with slow internet connections (e.g.
--depth=1).

[Bug web/115391] Suggest add current size of git repository to git page

[schwab@linux-m68k.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115391

--- Comment #4 from Andreas Schwab <schwab@linux-m68k.org> ---
In addition, git clean -dfqx cleans the worktree from any debris.

[Bug web/115391] Suggest add current size of git repository to git page

[dcb314 at hotmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115391

--- Comment #5 from David Binderman <dcb314 at hotmail dot com> ---
(In reply to Jonathan Wakely from comment #1)
> You really shouldn't ever need to start again, you can just do:
> 
> git fetch origin && git reset --hard origin/master

Thanks for the tip. After more than four years use on this project,
my command of git remains very rudimentary indeed, with frequent 
recourse to stackoverflow to try to fix what it's done.

For reference, the previous SCM solution, SVN, I had complete mastery
of in a few months. It did everything I needed.

I am not expecting the gcc project to change SCM solution anytime soon.

[Bug web/115391] Suggest add current size of git repository to git page

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115391

--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #3)
> Also you can use `--depth=1` to speed up the checkout if you don't need the
> full history.

Or partial clones, which avoid the problems of truncated history that shallow
(i.e. --depth=N) clones have.

https://github.blog/2020-12-21-get-up-to-speed-with-partial-clone-and-shallow-clone/

[Bug web/115391] Suggest add current size of git repository to git page

[egallager at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115391

Eric Gallager <egallager at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |egallager at gcc dot gnu.org

--- Comment #7 from Eric Gallager <egallager at gcc dot gnu.org> ---
Tips for doing this with the GitHub mirror of it:
https://stackoverflow.com/questions/8646517/how-can-i-see-the-size-of-a-github-repository-before-cloning-it