On Monday, 19 January 2015 at 18:46:24 UTC, Andrei Alexandrescu
wrote:
Should we pull my stuff so the others come on top of it?
I'm new to git (and github) so I don't know the process. I just
cloned your branch locally and have been working off that. I
assume I can fork master and push my changes to that and then do
a pull request. Is this correct? If that's the case you shouldn't
have to pull your changes (although you may want to just for the
history and to close the request, I don't know).
-Dave
