Branch: refs/heads/master
Home: https://github.com/jenkinsci/ghprb-plugin
Commit: 1c749f562ff9b6c75349b3869f135e10c1eefaec
https://github.com/jenkinsci/ghprb-plugin/commit/1c749f562ff9b6c75349b3869f135e10c1eefaec
Author: David Tanner <david.tan...@vivintsolar.com>
Date: 2014-08-14 (Thu, 14 Aug 2014)
Changed paths:
M src/main/java/org/jenkinsci/plugins/ghprb/GhprbPullRequestMerge.java
Log Message:
-----------
Adding logging and a fifteen second pause so github can settle if something
changed just before checking if the pr is mergeable
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to jenkinsci-commits+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
