Push Docker Image to GitHub Registry for CI/CD Pipeline

[marka2g]

Automate the pushing of your Docker image to the GitHub Docker registry if
your CI pipeline passes. Authentication with the registry is required before
being able to push. You should create three tags for your Docker image: one
matching the commit it refers to, one matching the PR number (if present),
and other that is "latest".