開発してるとDockerのイメージをpushするところって迷うじゃないですか。AWSで作っていればECR、GCPの場合にはGCRを使えばよいわけですが、家のサーバで開発しているときは？まぁGCR…