DManager.getPull

Returns the commit hash for the given pull request # (base and tip). The result can then be used with addMerge/removeMerge.

Meta