Hi Stefano, On Thu, Aug 06, 2009 at 04:05:33PM +0200, Stefano Zacchiroli wrote: > Hi Guido et all. > > On Thu, Aug 06, 2009 at 03:50:54PM +0200, Mehdi Dogguy wrote: > > We, Debian OCaml Maintainers, have some tools related to the > > maintenance of our packages hosted in a Git repository. > > > > We think that they could be useful for other maintainers too. > > Just a bit of additional context. Guido, these scripts are the one > I've told you about at the vcs-pkg BOF at DebConf9. I think there is I figured. Thanks.
> room to generalize them and make them more widely useful for all users > of git-buildpackage (which somehow induces a common branch layout). > > > - dom-git-checkout foo: Checkouts the source package foo from its Git > > repository and tracks upstream and pristine-tar branches. It needs > > an additional argument which is the unix group on alioth used to find > > the full path of the Git repository on alioth. > > A comment on the relationships among this and debcheckout. debcheckout > cannot be used (easily) before a package hit the archive, because it > doesn't know where to retrieve the repository URL. However, I'm not > sure whether the missing bits would better fit git-buildpackage or > debcheckout. Note that debcheckout also has additional features like > detecting topgit usage: it might be worth to rewrite the checkout > script so that it's a wrapper around debcheckout. I was thinking of keeping this as a separate tool but merge it with dom-safe-pull since the seem to fit into the same category (from a users point of view): keep my local copy up to date with remote. > > > - dom-safe-pull: Updates the repository if it's fast-forward. Helps to > > keep a clean history without a lot of administrative-merges. > > "safe" should probably be dropped by the name. Also, I would like to > have a "--unsafe" switch that performs merges even when they are not > fast-forward: the current default looks sane, but a way to override > would be nice. That's what I was thinking but adding --unsafe is easy once we have all the rest in place. Thanks for the update! -- Guido -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
