Adding logging and a fifteen second pause so github can settle if something changed just before checking if the pr is mergeable