Add message for begin/end of merge push

lantisnt opened this issue 4 years ago · 0 comments