[dev] local git repository re: imp IMAP/MIME changes

Michael M Slusarz slusarz at horde.org
Fri Nov 7 17:40:48 UTC 2008


Quoting Chuck Hagenbuch <chuck at horde.org>:

> No uh-oh; the push worked just fine. Those directories aren't  
> real-time working directories; you can update them, but there's no  
> particular need to. Actually I think we should probably get rid of  
> the pretense of a working dir and just use the .git directories  
> directly - that's where everything is.

Doh - you are right.  And you are also right that there is no need for  
a working dir on dev.  I guess the only thing missing from my push was  
the commit e-mail.

michael

-- 
___________________________________
Michael Slusarz [slusarz at horde.org]



More information about the dev mailing list