The ability to remove the push button

[redcactus-adrie]

As GitButler now has rules to determine where specific changes should go, and since 'junk' or other purely local branches may exist, I think it would be useful to have the ability to convert a branch into a purely local branch that cannot be pushed. This would remove the 'Push' button, although we should still allow the branch to be converted back to a normal branch.

Perhaps this could be a per-branch setting.

[Byron]

Thanks for sharing!

Would this feature be used to prevent accidental pushes? It feels a little like it.

If so, I wonder if there can be the notion of an 'arming' of a button, and only when it's armed it can be pressed at all. Maybe in the end it's more of a notion of "don't publish" this branch, which could be a setting on the branch. We have branch metadata, so storing such information wouldn't be the problem.

CC @PavelLaptev and @krlvi .