[dmd-internals] Fixing github pull requests that I borked up

[Jacob Carlborg]

On Oct 08, 2013, at 12:39 PM, Jonathan M Davis <jmdavisProg at gmx.com> wrote:

> though I'd generally expect you to only be pushing to upstream when creating
> branches for releases and whatnot, not pull requests (I'm not sure that you
> even _can_ create pull requests to the main repo from branches on the main
> repo).

Git has no concept of pull requests. It's basically a Git workflow. So no, you cannot create pull requests. But that might not be what you're saying?

--
/Jacob Carlborg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.puremagic.com/pipermail/dmd-internals/attachments/20131008/e86d754c/attachment-0001.html>