avoid sync pushing view branches to remotes, and better view branch names
authorJoey Hess <joeyh@joeyh.name>
Wed, 8 Feb 2023 17:55:55 +0000 (13:55 -0400)
committerJoey Hess <joeyh@joeyh.name>
Wed, 8 Feb 2023 17:57:48 +0000 (13:57 -0400)
commita11d6e0bafa0d84f6c57f2933d167ac73078e9e2
tree60abbd3316ecb091fcc90c481e19b4cd0aa8e41f
parentb9d59cf7219ec1350549fd25fceac2437c0f7a54
avoid sync pushing view branches to remotes, and better view branch names

* sync: Avoid pushing view branches to remotes.
* Changed the name of view branches to include the parent branch.
  Existing view branches checked out using an old name will still work.

It does not seem useful for sync to push view branches around, because
the information in a view branch can entirely be derived from other
information in git. And sync doesn't push adjusted branches around either.

The better view branch names make it more in line with adjusted branch
names, but were also needed to make fromViewBranch be able to return the
original branch name.

Kept the old view branch names still working. But, when those branches
exist in a repo, sync will still try to push them as before. Avoiding
that would need more complicated and/or expensive changes to sync.

Sponsored-By: Boyd Stephen Smith Jr. on Patreon
CHANGELOG
Command/Sync.hs
Logs/View.hs