The Nest
Explore
398
The sound distributed version control system

#161 push/pull: rename "channel" option

Closed on December 4, 2020
loewenheim on December 4, 2020

I think pijul push --from-channel <from> --to-channel <to> would be more intuitive pijul push --channel <from> --to-channel<to>, and conversely for pijul pull.

loewenheim added a change on December 4, 2020
push/pull: rename `channel` option
QWD7UE766WLJ3JZU7L2UXMV7Q236DSDMH2CCI4M6HIA4QA3QVFAQC
main
pmeunier on December 4, 2020

The --channel option was chosen to try and be symmetric with other commands. But you’re totally right that explicitness is probably better than symmetry in this case.

pmeunier closed this discussion on December 4, 2020