From e426e8ef26afd7d4a7f062078448df761d1bb822 Mon Sep 17 00:00:00 2001
From: Yecheng Fu <fuyecheng@pingcap.com>
Date: Thu, 16 Apr 2020 19:43:38 +0800
Subject: [PATCH] easier to build and push to other docker image repo (#2207)