Re: Introducing dgit - git integration with the Debian archive

[Ian Jackson <ijackson@chiark.greenend.org.uk>]

Raphael Hertzog writes ("Re: Introducing dgit - git integration with the Debian archive"):
> What you mean is that on the server side the dgit-branches containing the
> uploads are in refs/dgit/ and not in refs/heads/. But there will also
> be refs/heads/dgit/<suite> branches on the server side since that's where
> people will naturally push stuff:

Yes.  That's fine.

> So there's a refs/head/dgit/<suite> and it can be pushed to the server.
> But it will be different to the refs/dgit/<suite> that gets merged by
> dgit pull...

Indeed, if you do that kind of "git push".  The remote that
corresponds to that is "origin" though.

> Speaking of braindamage... :-)

I'll see if it confuses people.  If so it should probably be mentioned
in the manpage.

Ian.