[Webkit-unassigned] [Bug 104010] Remove empty directories
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Tue Dec 4 14:37:05 PST 2012
https://bugs.webkit.org/show_bug.cgi?id=104010
Csaba Osztrogonac <ossy at webkit.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dpranke at chromium.org,
| |eric at webkit.org,
| |galpeter at inf.u-szeged.hu,
| |loki at webkit.org
--- Comment #3 from Csaba Osztrogonac <ossy at webkit.org> 2012-12-04 14:39:31 PST ---
Yay, good proposal. ;)
My dream is making "webkit-patch land" and CQ somehow remove empty directories
automatically when you removed the files in them. Unfortunately it isn't
trivial, because git can't handle empty directories at all. As far as I
know we can only remove orphaned empty directories manually (and regularly).
--
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
More information about the webkit-unassigned
mailing list