mbed-os-env Docker management

Overview and background

Types of Docker images

Types of Docker image updates

Types of Docker tags

Dockerfile versioning

Docker image versioning

GitHub Actions Workflows

Goals of Docker management workflows

Pipeline

Docker repository

Workflow for forks

Usage in example application