clone: make source remote the default

[?]
Nov 26, 2020, 8:43 PM
VLPIKNFSMJXOG37QYRGUJC6YFMZXZUFDADQV4PYASKKDQOJ24MZAC

Dependencies

  • [2] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).

Change contents

  • edit in pijul/src/commands/clone.rs at line 96
    [2.185859]
    [2.185859]
    repo.config.default_remote = Some(self.remote);