updated repos-check, -merge and -push