[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