ros-infrastructure/bloom — pull request #316 by wjwwood (2014-09-24 06:08:30+00:00)
Title: Open pull requests against specific commit

There is a race condition for creating a pull requests where the rosdistro repo changes between calculating the diff and opening the pull request. This pull request attempts to remove this condition by capturing the commit hash of the branch and repo from which the rosdistro index came from. Then this commit hash is specifically used as the base of the pull request. This might cause the pull request to not be able to be merged, but should prevent the cases described in https://github.com/ros-infrastructure/bloom/issues/252