On 4/7/20 9:22 AM, Andreas Schwab wrote:
On Apr 07 2020, Martin Liška wrote:Can you please help me how can one clone (or pull) complete content of git repo?Easiest way is to do a mirror clone.
All right, --mirror is a new option to me. Doing that. Thanks, Martin
Andreas.