Add `destination_files` to push to not overwrite certain files in Destination repo

[xcskier56]

💡 Feature proposal

Use-cases

In our destination repo, we want to have certain files that are only contained in it and not overwritten when pushed to. Specifically we have different github actions in the destination repo vs the SoT repo and don't want them overwritten.

Attempted solutions

I have already added pr_exludes to the github action config and it does not seem to be working. The other solution would be to just use our completely custom copy.bara.sky file, but that removes a lot of the magic of this code that is very nice.

Proposal

add destination_files = glob(PR_INCLUDE, exclude = PR_EXCLUDE), to the push workflow

[zubeyiro]

hey @xcskier56 any plans of merging this PR?

[xcskier56]

Wow, I totally forgot that this PR was open. We aren't using this workflow anymore so I don't need it, but happy to make any changes to the PR that you'd like me to

[zubeyiro]

PR is fine, Ive forked this repo and applied PR already: https://github.com/mailchain/copybara-action