Dongsu Park c74c31a835 .github: split out from docker into common.sh
To avoid duplicates, make docker-apply-patch.sh use the helper
functions in `common.sh`.
2020-07-23 18:32:26 +02:00
..