[Ur] Ur/Web packages for Debian

Adam Chlipala adamc at csail.mit.edu
Sun Nov 4 10:00:47 EST 2012


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.



More information about the Ur mailing list