https://bugzilla.wikimedia.org/show_bug.cgi?id=66429
--- Comment #5 from Kunal Mehta (Legoktm) <[email protected]> --- (In reply to Antoine "hashar" Musso from comment #2) > The reason is that since mediawiki/core.git is so huge to clone, we are > using git archive to grab a snapshot of MediaWiki in the Jenkins job > workspace. A side effect is that files removed from the repository are not > removed from the workspace. Uck :/ (In reply to Antoine "hashar" Musso from comment #4) > We could clean up the /skins/ directory in all workspaces potentially, but I > can't remember whether the same job could use a REL1_*** codebase which > would bring back the skins. Lets do that for now. People shouldn't be backporting stuff to REL branches in the near future, which gives us a little more time to fix jenkins to delete files properly. -- You are receiving this mail because: You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
