Fix github-sync to properly sync file deletions
Categories
(Core :: Graphics, defect, P3)
Tracking
()
People
(Reporter: kats, Assigned: kats)
Details
Attachments
(3 files)
In bug 1635430 I deleted the appveyor.yml file for webrender in m-c. It didn't get synced over to github properly; the change got squashed into the commit at https://github.com/servo/webrender/commit/28043d40439f08a3b2d41a1260cee729e8ffb45d instead of getting its own commit. That is wrong, need fixing.
| Assignee | ||
Comment 1•5 years ago
|
||
| Assignee | ||
Comment 2•5 years ago
|
||
This is just in debug output, so the fact that we ignore non-utf-8 chars is ok.
Depends on D74064
| Assignee | ||
Comment 3•5 years ago
|
||
Closer look at the man pages shows that the file() query will catch any file
changes, whereas the modifies() query will only capture files that were
modified, which excludes strict deletions.
Depends on D74065
Comment 5•5 years ago
|
||
| bugherder | ||
https://hg.mozilla.org/mozilla-central/rev/bbf2526b2fb1
https://hg.mozilla.org/mozilla-central/rev/42188f92fb38
https://hg.mozilla.org/mozilla-central/rev/066910bce3e5
Description
•