Different versions of same library with Deimos

[Nick Sabalausky]

On Mon, 25 Mar 2013 14:25:01 +0100
Jacob Carlborg <doob at me.com> wrote:

> On 2013-03-25 13:59, Nick Sabalausky wrote:
> 
> > But the problem is, there doesn't seem to be a way to do a "pull
> > branch" request.
> 
> It doesn't make a different from which branch the new branch
> originated?
> 

Unless things have changed since the last time I tried, GitHub has no
way to setup your pull request to mean "Please pull this new branch
XXXX *as* a new branch." No matter what the source branch is, GitHub
only lets you request it to be pulled into a branch that *already*
exists in the destination repo.

Always seemed like a goofy limitation to me.