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.
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/21018.5937.766774.259...@chiark.greenend.org.uk
