5da6bba
Some more logging when merging a pull-request Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>