Mirroring tags between github repos

It isn't clear to me how to mirror tags between two github repositories. Our current workflow for exporting source looks like this:
```python
core.workflow(
name = "exportSourceToPublic",
origin = git.github_origin(
url = privateUrl,
ref = "master",
),
destination = git.github_destination(
url = publicUrl,
fetch = "master",
push = "master",
),
origin_files = filesToPublish,
mode = "ITERATIVE",
authoring = authoring.pass_thru(defaultAuthor),
transformations = [
metadata.restore_author(),
],
)
```

All of our tags are for commits on `master`. I assumed that I could simply run this with `origin.ref = "refs/tags/"` and `destination.push = "refs/tags/"`. When I do this I get this output:
```
Task: Git Origin: Initializing local repo
WARN: No new changes to import for resolved ref: 1809e6d8aa53af7fa30146277f9b8740ab38771c
```

This makes sense as the commit already exists on `destination:master`, but I would still expect it to push it to the tag. Am I holding it wrong / is there a better way to handle this use case? Or is it a bug and it should still push to the tag?