GitOrigin-RevId is not added to internal PR mirroring public commits

[Christoph Nakazawa]

I'm using the following config to sync external commits into internal Pull Requests:

core.workflow(

name = "pull",

origin = git.origin(

url = sourceUrl,

ref = "main",

),

destination = git.github_pr_destination(

url = destinationUrl,

destination_ref = "main",

pr_branch = "public/${CONTEXT_REFERENCE}",

),

mode = "ITERATIVE",

destination_files = public_files,

)

Everything is working fine, except the created PR and commit message do not add the corresponding `GitOrigin-RevId:` from the public repo so that future `pull` calls know where to sync from. How can I add that to the PR body and commit message?

Also, it seems that the `pr_branch` set to "public/${CONTEXT_REFERENCE}" always turns into "public/main" in my internal repo. How can I give the branch a more descriptive name, like a slug of the original commit title, an incrementing number, or something else?

Thank you so much. Copybara is great.