Customize the push options

[stephenatwork]

Description

Add options to push other than --mirror.
E.g. to push only a specific branch.

Value

Our use case is we want to mirror only specific release branches to a remote and avoid the clutter of work in progress branches.

[calebcartwright]

hi @stephenatwork 👋 thanks for the suggestion!

I think we'd definitely be open to including that type of capability within this extension, although IMHO it would probably need to be implemented as a separate task in addition to the current mirror task.

We want the existing mirror task to very explicitly be focused on a full git mirror, and doing mirror-related things like excluding PR refs that are specific to a platform.

I don't think any of the maintainers will have the bandwidth to work on this new feature though, at least not any time soon, but would be more than happy to consider any PRs!

cc @traviskosarek