Removing the now useless --tag option in pull

pmeunier

Jan 9, 2022, 6:53 AM

EG7P7GKKSXT3F6UOEBTW6KC335YIND5L3YPL7TRRNBLIKA3YVIJQC

Dependencies

• [2] DO2Y5TY5 Tag synchronisation
• [3] AEPEFS7O Write help for each argument
• [4] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).
• [5] 4H2XTVJ2 Fix some mistakes in the docs
• [6] 5HF7C67M push/pull: fixed "changes" arguments

Change contents

• edit in pijul/src/commands/pushpull.rs at line 128
  [3.371]→[2.27113:27203](∅→∅)
  − /// Pull tags instead of regular changes.

  − #[clap(long = "tag")]

  − is_tag: bool,