The master branch is different from develop because formmer merge behavior. Therefore we need a force push to synchronize master branch with develop.