https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115391
Eric Gallager changed:
What|Removed |Added
CC||egallager at gcc dot gnu.org
--- Commen
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115391
--- Comment #6 from Jonathan Wakely ---
(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 t
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115391
--- Comment #5 from David Binderman ---
(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
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115391
--- Comment #4 from Andreas Schwab ---
In addition, git clean -dfqx cleans the worktree from any debris.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115391
Andrew Pinski changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115391
Sam James changed:
What|Removed |Added
CC||sjames at gcc dot gnu.org
--- Comment #2 fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115391
--- Comment #1 from Jonathan Wakely ---
You really shouldn't ever need to start again, you can just do:
git fetch origin && git reset --hard origin/master
