DManager.getPull

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

Meta