On 11/01/2012 02:04 PM, Edward Z. Yang wrote:
Excerpts from Adam Chlipala's message of Thu Nov 01 08:33:55 -0700 2012:
I talked a bit with Benjamin about this, but what do you think is the
best way to manage version control for the files needed for packaging?
My first impulse was to put them in directories within the main urweb
repo, but apparently Debian discourages this. Another option would be
one repository for all packaging metadata, but that sounds harder to
keep in sync with Ur/Web versions.
The Debian policy is with an eye towards the more common case
where the person packaging and the person maintaining upstream are
not the same. It's easier for Debian to add a debian/ directory if
there isn't already one (especially if they need to diverge from upstream).
The classic solution here is to maintain a separate branch 'debian'
which contains the relevant metadata, and keep it merged (which shouldn't
be too difficult.)
Why not just keep the 'debian' directory in the main branch? I'm not at
all a fan of branches in distributed version control systems. I like to
create separate repositories when I want parallel universes.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
