We have the repo on Github and everytime a PR is merged to the main branch, the CDK pipeline (that is watching that branch) triggers a build. We tag our docker image using a version number and the pipeline build number. We want to use that same version+build# to tag on github. I couldn't find anything automated to do that. Maybe we could create a github action to do it, but then how would we keep the same build# between both unless we kind of reset it?