[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.